The titlebar is no longer optional, it probably never should have been, it's just too complicated
This commit is contained in:
parent
02c1a482df
commit
df7a3b978d
|
@ -123,8 +123,6 @@ DEFAULTS = {
|
|||
},
|
||||
'profiles': {
|
||||
'default': {
|
||||
'titlebars' : True,
|
||||
'zoomedtitlebar' : True,
|
||||
'allow_bold' : True,
|
||||
'audible_bell' : False,
|
||||
'visible_bell' : True,
|
||||
|
|
|
@ -681,9 +681,6 @@ for %s (%s)' % (name, urlplugin.__class__.__name__))
|
|||
def do_scrollbar_toggle(self):
|
||||
self.toggle_widget_visibility(self.scrollbar)
|
||||
|
||||
def do_title_toggle(self):
|
||||
self.toggle_widget_visibility(self.titlebar)
|
||||
|
||||
def toggle_widget_visibility(self, widget):
|
||||
if widget.get_property('visible'):
|
||||
widget.hide()
|
||||
|
@ -879,14 +876,6 @@ for %s (%s)' % (name, urlplugin.__class__.__name__))
|
|||
term.grab_focus()
|
||||
return(False)
|
||||
|
||||
def hide_titlebar(self):
|
||||
"""Hide the titlebar"""
|
||||
self.titlebar.hide()
|
||||
|
||||
def show_titlebar(self):
|
||||
"""Show the titlebar"""
|
||||
self.titlebar.show()
|
||||
|
||||
def get_zoom_data(self):
|
||||
"""Return a dict of information for Window"""
|
||||
data = {}
|
||||
|
|
|
@ -125,13 +125,6 @@ class TerminalPopupMenu(object):
|
|||
item.connect('toggled', lambda x: terminal.do_scrollbar_toggle())
|
||||
menu.append(item)
|
||||
|
||||
item = gtk.CheckMenuItem(_('Show _titlebar'))
|
||||
item.set_active(terminal.titlebar.get_property('visible'))
|
||||
item.connect('toggled', lambda x: terminal.do_title_toggle())
|
||||
if terminal.group:
|
||||
item.set_sensitive(False)
|
||||
menu.append(item)
|
||||
|
||||
item = gtk.MenuItem(_('_Preferences'))
|
||||
item.connect('activate', lambda x: PrefsEditor(self.terminal))
|
||||
menu.append(item)
|
||||
|
|
Loading…
Reference in New Issue