remove titletips, it's a terrible option
This commit is contained in:
parent
d007bc45c5
commit
0f5cf7c496
@ -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
|
||||
|
@ -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,
|
||||
|
Loading…
Reference in New Issue
Block a user