From 9b530862e789d587abc10b2b10eaf2a3c7f4ec70 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Thu, 9 Apr 2009 11:23:33 +0100 Subject: [PATCH] Make the zoomed/maximised titlebar optional --- doc/terminator_config.5 | 4 ++++ terminatorlib/config.py | 1 + terminatorlib/prefs_profile.py | 3 ++- terminatorlib/terminatorterm.py | 12 +++++++++--- 4 files changed, 16 insertions(+), 4 deletions(-) diff --git a/doc/terminator_config.5 b/doc/terminator_config.5 index 4f081548..1347839e 100644 --- a/doc/terminator_config.5 +++ b/doc/terminator_config.5 @@ -111,6 +111,10 @@ Default value: \fBright\fR If true, a titlebar will be drawn for each terminal which shows the current title of that terminal. Default value: \fBTrue\fR .TP +.B titlebarzoomed +If true, a titlebar will be drawn on zoomed/maximised terminals which indicates how many are hidden. +Default value: \fBTrue\fR +.TP .B titletips If true, a tooltip will be available for each terminal which shows the current title of that terminal. Default value: \fBFalse\fR diff --git a/terminatorlib/config.py b/terminatorlib/config.py index 69acd577..154ab067 100755 --- a/terminatorlib/config.py +++ b/terminatorlib/config.py @@ -59,6 +59,7 @@ Defaults = { 'gt_dir' : '/apps/gnome-terminal', 'profile_dir' : '/apps/gnome-terminal/profiles', 'titlebars' : True, + 'zoomedtitlebar' : True, 'titletips' : False, 'allow_bold' : True, 'audible_bell' : False, diff --git a/terminatorlib/prefs_profile.py b/terminatorlib/prefs_profile.py index 20e31788..472adcf8 100644 --- a/terminatorlib/prefs_profile.py +++ b/terminatorlib/prefs_profile.py @@ -8,13 +8,14 @@ import gtk, gobject class ProfileEditor: # lists of which settings to put in which tabs - appearance = ['titlebars', 'titletips', 'allow_bold', 'audible_bell', 'visible_bell', 'urgent_bell', 'force_no_bell', 'background_darkness', 'background_type', 'background_image', 'cursor_blink', 'cursor_shape', 'font', 'scrollbar_position', 'scroll_background', 'use_system_font', 'use_theme_colors', 'enable_real_transparency'] + appearance = ['titlebars', 'zoomedtitlebar', 'titletips', 'allow_bold', 'audible_bell', 'visible_bell', 'urgent_bell', 'force_no_bell', 'background_darkness', 'background_type', 'background_image', 'cursor_blink', 'cursor_shape', 'font', 'scrollbar_position', 'scroll_background', 'use_system_font', 'use_theme_colors', 'enable_real_transparency'] colours = ['foreground_color','background_color', 'cursor_color', 'palette'] behaviour = ['backspace_binding', 'delete_binding', 'emulation', 'scroll_on_keystroke', 'scroll_on_output', 'alternate_screen_scroll', 'scrollback_lines', 'focus', 'focus_on_close', 'exit_action', 'word_chars', 'mouse_autohide', 'use_custom_command', 'custom_command', 'http_proxy', 'encoding'] globals = ['fullscreen', 'maximise', 'borderless', 'handle_size', 'cycle_term_tab', 'close_button_on_tab', 'tab_position', 'copy_on_selection', 'extreme_tabs', 'try_posix_regexp'] # metadata about the settings data = {'titlebars': ['Show titlebars', 'This places a bar above each terminal which displays its title.'], + 'zoomedtitlebar': ['Show titlebar when zoomed', 'This places an informative bar above a zoomed terminal to indicate there are hidden terminals.'], 'titletips': ['Show title tooltips', 'This adds a tooltip to each terminal which contains its title'], 'allow_bold': ['Allow bold text', 'Controls whether or not the terminals will honour requests for bold text'], 'silent_bell': ['', 'When enabled, bell events will generate a flash. When disabled, they will generate a beep'], diff --git a/terminatorlib/terminatorterm.py b/terminatorlib/terminatorterm.py index 68eba6e3..580655ee 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -111,9 +111,13 @@ class TerminatorTermTitle (gtk.EventBox): self._parent = self.get_parent () if self._parent.terminator._zoomed and len (self._parent.terminator.term_list): - self._unzoomed_title = self.get_terminal_title () - self.set_terminal_title ("Zoomed/Maximised terminal, %d hidden" % (len (self._parent.terminator.term_list) - 1)) - self.show() + if not self._unzoomed_title: + self._unzoomed_title = self.get_terminal_title () + if self._parent.conf.zoomedtitlebar: + self.set_terminal_title ("Zoomed/Maximised terminal, %d hidden" % (len (self._parent.terminator.term_list) - 1)) + self.show() + else: + self.hide() return else: if self._unzoomed_title: @@ -770,6 +774,8 @@ text/plain # Set our sloppiness self.focus = self.conf.focus + # Sync our titlebar state + self._titlebox.update () self._vte.queue_draw () def on_composited_changed (self, widget):