changeset 15589:ded8d537d1c9

Remove unused parameter 'shortWindowTitle' from gui/ide default settings file. * default-qt-settings: Remove line defining shortWindowTitle. The parameter does not appear in a code search and does not toggle when changing associated check-box in settings menu.
author Daniel J Sebald <daniel.sebald@ieee.org>
date Sat, 27 Oct 2012 20:44:57 -0500
parents 3079b4eb57ad
children 3bbba2b09587
files libgui/default-qt-settings
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/default-qt-settings	Sat Nov 03 12:12:06 2012 +0100
+++ b/libgui/default-qt-settings	Sat Oct 27 20:44:57 2012 -0500
@@ -25,7 +25,6 @@
 codeCompletion=true
 fontName=Ubuntu Mono
 fontSize=12
-shortWindowTitle=true
 longWindowTitle=true
 
 [terminal]