itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Adding an option to open a TopLevelTab in extreme_tabs mode 

Ctrl-Shift-Alt-T will trigger the same action
This commit is contained in:
Emmanuel Bretelle 2008-05-25 13:08:51 +01:00
parent ca12af5125
commit 18c62f3132
1 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
terminator
View File

@ -575,6 +575,12 @@ text/plain
self.zoom (False) self.zoom (False)
return (True) return (True)
mask = gtk.gdk.CONTROL_MASK | gtk.gdk.SHIFT_MASK | gtk.gdk.MOD1_MASK
if (event.state & mask) == mask:
#Top level tab
if keyname == 'T':
self.terminator.newtab (self, True)
return (True)
# bindings that should be moved to Terminator as they all just call # bindings that should be moved to Terminator as they all just call
# a function of Terminator. It would be cleaner is TerminatorTerm # a function of Terminator. It would be cleaner is TerminatorTerm
# has absolutely no reference to Terminator. # has absolutely no reference to Terminator.
@ -727,6 +733,11 @@ text/plain
item.connect ("activate", lambda menu_item: self.terminator.newtab (self)) item.connect ("activate", lambda menu_item: self.terminator.newtab (self))
menu.append (item) menu.append (item)
if self.conf.extreme_tabs:
item = gtk.MenuItem (_("Open Top Level Tab"))
item.connect ("activate", lambda menu_item: self.terminator.newtab (self, True))
menu.append (item)
item = gtk.MenuItem () item = gtk.MenuItem ()
menu.append (item) menu.append (item)
@ -1122,16 +1133,18 @@ class Terminator:
dbg("[ERROR] unsupported class %s in _notebook_last_term" % child.__class__.__name__) dbg("[ERROR] unsupported class %s in _notebook_last_term" % child.__class__.__name__)
return None return None
def newtab(self,widget): def newtab(self,widget, toplevel = False):
terminal = TerminatorTerm (self, self.profile, None, widget.get_cwd()) terminal = TerminatorTerm (self, self.profile, None, widget.get_cwd())
if(self.conf.extreme_tabs): if self.conf.extreme_tabs and not toplevel:
parent = widget.get_parent () parent = widget.get_parent ()
child = widget child = widget
else: else:
child = self.window.get_children()[0] child = self.window.get_children()[0]
parent = child.get_parent() parent = child.get_parent()
if isinstance(parent, gtk.Paned) or (isinstance(parent, gtk.Window) and (self.conf.extreme_tabs or not isinstance(child, gtk.Notebook))): if isinstance(parent, gtk.Paned) or (isinstance(parent, gtk.Window)
and
((self.conf.extreme_tabs and not toplevel) or not isinstance(child, gtk.Notebook))):
#no notebook yet. #no notebook yet.
notebook = gtk.Notebook() notebook = gtk.Notebook()
notebook.set_tab_pos(gtk.POS_TOP) notebook.set_tab_pos(gtk.POS_TOP)