rmdSimple.py: added loading/saving for "Extra Options".

git-svn-id: https://recordmydesktop.svn.sourceforge.net/svnroot/recordmydesktop/trunk@354 f606c939-3180-4ac9-a4b8-4b8779d57d0a

1 files changed, 7 insertions, 0 deletions

diff --git a/gtk-recordmydesktop/src/rmdSimple.py b/gtk-recordmydesktop/src/rmdSimple.py
index ade5173..381dc8b 100644
--- a/gtk-recordmydesktop/src/rmdSimple.py
+++ b/gtk-recordmydesktop/src/rmdSimple.py
@@ -330,6 +330,11 @@ class simpleWidget(object):
                 self.values.append(rmdConfig.default_values[25])
             else:
                 self.values.append(int(savefile.readline()))
+            p=savefile.readline()
+            if p=='':
+                self.values.append(rmdConfig.default_values[26])
+            else:
+                self.values.append(savefile.readline().replace("\n",""))
             return True
         except:
             return False
@@ -392,6 +397,8 @@ class simpleWidget(object):
             savefile.write("%d\n"%self.values[24])
             savefile.write("#draw an on-screen frame, surrounding the capture area\n")
             savefile.write("%d\n"%self.values[25])
+            savefile.write("#Extra options\n")
+            savefile.write("%s\n"%self.values[26])
             savefile.flush()
             savefile.close()
             return True