diff options
-rw-r--r-- | etc/gedit.profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile index 7dd6f270e..a4471077a 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
@@ -42,6 +42,7 @@ tracelog | |||
42 | 42 | ||
43 | # private-bin gedit | 43 | # private-bin gedit |
44 | private-dev | 44 | private-dev |
45 | private-lib aspell,gconv,gedit,libgspell-1.so.*,libgtksourceview-*,libpeas-gtk-1.0.so.*,libreadline.so.*,libtinfo.so.* | 45 | # private-lib breaks python plugins, uncomment or add to your gedit.local if you don't use them. |
46 | #private-lib aspell,gconv,gedit,libgspell-1.so.*,libgtksourceview-*,libpeas-gtk-1.0.so.*,libreadline.so.*,libtinfo.so.* | ||
46 | private-tmp | 47 | private-tmp |
47 | 48 | ||