Make the zoomed/maximised titlebar optional

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

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,

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'],

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):
+      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):