From 72a1472258164e4422425c4a4f1f27b1c5132be2 Mon Sep 17 00:00:00 2001
From: rusty-snake <print_hello_world+Public@protonmail.com>
Date: Thu, 22 Aug 2019 13:33:30 +0200
Subject: add allow-common-devel to more profiles

---
 etc/pluma.profile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'etc/pluma.profile')

diff --git a/etc/pluma.profile b/etc/pluma.profile
index 4c32c2979..dadfcc44e 100644
--- a/etc/pluma.profile
+++ b/etc/pluma.profile
@@ -8,9 +8,9 @@ include globals.local
 
 noblacklist ${HOME}/.config/enchant
 noblacklist ${HOME}/.config/pluma
-noblacklist ${HOME}/.python-history
-noblacklist ${HOME}/.python_history
-noblacklist ${HOME}/.pythonhist
+
+# Allows files commonly used by IDEs
+include allow-common-devel.inc
 
 include disable-common.inc
 include disable-devel.inc
-- 
cgit v1.2.3-70-g09d2