fix titlebar highlighting. HBox can't have a bg colour. Also it turns out that the fg colour modification has never been working so it might as well go

This commit is contained in:
Chris Jones 2008-12-16 15:15:12 +00:00
parent ba9907fbe5
commit 3c26a52c12
1 changed files with 7 additions and 6 deletions

View File

@ -78,10 +78,13 @@ class TerminatorTerm (gtk.VBox):
self._title.show() self._title.show()
self._titlegroup = gtk.Label() self._titlegroup = gtk.Label()
self._titlesep = gtk.VSeparator () self._titlesep = gtk.VSeparator ()
self._titlebox = gtk.HBox() self._titlebox = gtk.EventBox ()
self._titlebox.pack_start (self._titlegroup, False, True) self._titlehbox = gtk.HBox()
self._titlebox.pack_start (self._titlesep, False, True, 2) self._titlehbox.pack_start (self._titlegroup, False, True)
self._titlebox.pack_start (self._title, True, True) self._titlehbox.pack_start (self._titlesep, False, True, 2)
self._titlehbox.pack_start (self._title, True, True)
self._titlehbox.show ()
self._titlebox.add (self._titlehbox)
self._search_string = None self._search_string = None
self._searchbox = gtk.HBox() self._searchbox = gtk.HBox()
@ -1219,12 +1222,10 @@ text/plain
def on_vte_focus_in(self, vte, event): def on_vte_focus_in(self, vte, event):
self._titlebox.modify_bg(gtk.STATE_NORMAL,self.terminator.window.get_style().bg[gtk.STATE_SELECTED]) self._titlebox.modify_bg(gtk.STATE_NORMAL,self.terminator.window.get_style().bg[gtk.STATE_SELECTED])
self._title.modify_fg(gtk.STATE_NORMAL, self.terminator.window.get_style().fg[gtk.STATE_SELECTED])
return return
def on_vte_focus_out(self, vte, event): def on_vte_focus_out(self, vte, event):
self._titlebox.modify_bg(gtk.STATE_NORMAL, self.terminator.window.get_style().bg[gtk.STATE_NORMAL]) self._titlebox.modify_bg(gtk.STATE_NORMAL, self.terminator.window.get_style().bg[gtk.STATE_NORMAL])
self._title.modify_fg(gtk.STATE_NORMAL, self.terminator.window.get_style().fg[gtk.STATE_NORMAL])
return return
def on_vte_focus(self, vte): def on_vte_focus(self, vte):