Dear Bertrand,
The problem will be solved in next upstream release.
Dan activated git repository for this plugin so collaborative development is
now possible.
My patches are pending to be included (attachment). Also dpatch dependence
will be removed from Debian package and any fixes will be carried out in
between upstream releases.
As soon as new version appears in Debian I will close this.
Thanks for reporting.
Regards,
Mateusz
2010/6/19 Bertrand Marc <beberk...@gmail.com>
> Thanks for including RGedit into Debian ! Sad thing is I can't make it
> remember my settings. For example I can't tell RGedit not to start
> automatically with gedit.
>
diff --git a/RCtrl.py b/RCtrl.py
index c8ce797..170ce69 100755
--- a/RCtrl.py
+++ b/RCtrl.py
@@ -2049,7 +2049,7 @@ class RCtrlPlugin(gedit.Plugin):
# Load the saved preferences:
try:
- pref_file = open(self.get_data_dir()+".preferences","r")
+ pref_file = open(os.path.expanduser("~/.rgedit-preferences"),"r")
saved_prefs = pickle.load(pref_file)
for i in list(self.prefs.keys()):
if i in saved_prefs:
@@ -2067,7 +2067,7 @@ class RCtrlPlugin(gedit.Plugin):
def get_data_dir(self):
try:
- return gedit.Plugin.get_data_dir()
+ return gedit.Plugin.get_data_dir(self)
except:
return self.get_data_directory()
@@ -2766,7 +2766,7 @@ class RCtrlPlugin(gedit.Plugin):
def save_prefs(self):
try:
- pref_file = open(self.get_data_dir()+".preferences","w")
+ pref_file = open(os.path.expanduser("~/.rgedit-preferences"),"w")
pickle.dump(self.prefs,pref_file)
close(pref_file)
except:
