From 0f5cf7c4967f11f0fe3746c6adb12d1bd5d90ce6 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Wed, 2 Sep 2009 23:17:08 +0100 Subject: [PATCH] remove titletips, it's a terrible option --- doc/terminator_config.5 | 4 ---- terminatorlib/config.py | 1 - 2 files changed, 5 deletions(-) diff --git a/doc/terminator_config.5 b/doc/terminator_config.5 index 4dcbe8e7..11fdfcb9 100644 --- a/doc/terminator_config.5 +++ b/doc/terminator_config.5 @@ -115,10 +115,6 @@ Default value: \fBTrue\fR 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 -.TP .B title_tx_txt_color Sets the colour of the text shown in the titlebar of the active terminal. Default value: \fB#FFFFFF\fR diff --git a/terminatorlib/config.py b/terminatorlib/config.py index e9175c30..5b193d9e 100755 --- a/terminatorlib/config.py +++ b/terminatorlib/config.py @@ -27,7 +27,6 @@ DEFAULTS = { 'profile_dir' : '/apps/gnome-terminal/profiles', 'titlebars' : True, 'zoomedtitlebar' : True, - 'titletips' : False, 'allow_bold' : True, 'audible_bell' : False, 'visible_bell' : True,