From df7a3b978d2a2a76aa98e146d2d3a219b3ab7972 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Wed, 13 Jan 2010 23:06:42 +0000 Subject: [PATCH] The titlebar is no longer optional, it probably never should have been, it's just too complicated --- terminatorlib/config.py | 2 -- terminatorlib/terminal.py | 11 ----------- terminatorlib/terminal_popup_menu.py | 7 ------- 3 files changed, 20 deletions(-) diff --git a/terminatorlib/config.py b/terminatorlib/config.py index 099cd981..abcff535 100755 --- a/terminatorlib/config.py +++ b/terminatorlib/config.py @@ -123,8 +123,6 @@ DEFAULTS = { }, 'profiles': { 'default': { - 'titlebars' : True, - 'zoomedtitlebar' : True, 'allow_bold' : True, 'audible_bell' : False, 'visible_bell' : True, diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index f9420cc6..1758b2e0 100755 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -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 = {} diff --git a/terminatorlib/terminal_popup_menu.py b/terminatorlib/terminal_popup_menu.py index c147657d..db19ae0d 100755 --- a/terminatorlib/terminal_popup_menu.py +++ b/terminatorlib/terminal_popup_menu.py @@ -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)