diff options
Diffstat (limited to 'gtk-recordmydesktop/src/rmdSimple.py')
| -rw-r--r-- | gtk-recordmydesktop/src/rmdSimple.py | 4 | 
1 files changed, 4 insertions, 0 deletions
diff --git a/gtk-recordmydesktop/src/rmdSimple.py b/gtk-recordmydesktop/src/rmdSimple.py index 1bf2c2a..b9693db 100644 --- a/gtk-recordmydesktop/src/rmdSimple.py +++ b/gtk-recordmydesktop/src/rmdSimple.py @@ -168,9 +168,13 @@ class simpleWidget(object):              if self.save_prefs()==False:                  print "Warning!!!Couldn't save preferences"      def hide(self,Event=None): +        if self.image.realFrame != None and self.values[25]==0: +            self.image.realFrame.window.hide()          self.window.hide()          self.hidden[0]=1      def show(self,Event=None): +        if self.image.realFrame != None and self.values[25]==0: +            self.image.realFrame.window.show()          self.window.show()          self.hidden[0]=0      def __swap_visibility__(self,widget=None,event=None):  | 
