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

Fixes titlebars not showing if disabled in user profile 

* fixes LP#216278
 thanks GGLucas
This commit is contained in:
Emmanuel Bretelle 2008-04-12 13:10:34 +01:00
parent afde88d7dc
commit c5ff753e97
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
terminator
View File

@ -196,10 +196,10 @@ class TerminatorTerm:
self._box.show() self._box.show()
self._box.pack_start(self._titlebox, False) self._box.pack_start(self._titlebox, False)
self._box.pack_start(self._termbox) self._box.pack_start(self._termbox)
if self.reconf('titlebars'): self._titlebox.show()
self._titlebox.show()
else: if not self.reconf('titlebars'):
self._titlebox.hide() self._title.set_property ('visible', False)
self._scrollbar = gtk.VScrollbar (self._vte.get_adjustment ()) self._scrollbar = gtk.VScrollbar (self._vte.get_adjustment ())
if self.scrollbar_position != "hidden" and self.scrollbar_position != "disabled": if self.scrollbar_position != "hidden" and self.scrollbar_position != "disabled":