I Always forget something!

This commit is contained in:
Edoardo Batini 2008-05-20 22:28:48 +02:00
parent 21ab156941
commit e3bc453031
1 changed files with 20 additions and 13 deletions

View File

@ -534,12 +534,8 @@ class TerminatorTerm (gtk.VBox):
item = gtk.MenuItem () item = gtk.MenuItem ()
menu.append (item) menu.append (item)
item = gtk.MenuItem (_("Maximize T_erminal")) item = gtk.MenuItem (_("M_aximize/Unmaximize"))
item.connect ("activate", lambda menu_item: self.terminator.hide_all_but_me (self)) item.connect ("activate", lambda menu_item: self.terminator.fullwindow (self))
menu.append (item)
item = gtk.MenuItem (_("Go B_ack"))
item.connect ("activate", lambda menu_item: self.terminator.show_back_others (self))
menu.append (item) menu.append (item)
item = gtk.MenuItem () item = gtk.MenuItem ()
@ -884,12 +880,20 @@ class Terminator:
for term in self.term_list: for term in self.term_list:
term.reconfigure_vte () term.reconfigure_vte ()
def fullwindow(self, widget):
if not self._fullwindow:
self.hide_all_but_me(widget)
else:
self.show_back_others(widget)
def hide_all_but_me (self, widget): def hide_all_but_me (self, widget):
"""Proof of concept: Maximize to full window """Proof of concept: Maximize to full window
an instance of TerminatorTerm. an instance of TerminatorTerm.
""" """
self.window_child = self.window.get_children()[0]
self.old_parent = widget.get_parent() self.old_parent = widget.get_parent()
if isinstance(self.old_parent, gtk.Window):
return
self.window_child = self.window.get_children()[0]
self.window.remove(self.window_child) self.window.remove(self.window_child)
self.old_parent.remove(widget) self.old_parent.remove(widget)
self.window.add(widget) self.window.add(widget)
@ -900,12 +904,15 @@ class Terminator:
"""Proof of concept: Go back to previous application """Proof of concept: Go back to previous application
widget structure. widget structure.
""" """
self.window.remove(widget) if self._fullwindow:
self.window.add(self.window_child) self.window.remove(widget)
self.old_parent.add(widget) self.window.add(self.window_child)
self.window.show_all() self.old_parent.add(widget)
self._fullwindow = False self.window.show_all()
self._fullwindow = False
return
else:
return
if __name__ == '__main__': if __name__ == '__main__':
def execute_cb (option, opt, value, parser): def execute_cb (option, opt, value, parser):