# HG changeset patch # User Daniel J Sebald # Date 1351388697 18000 # Node ID ded8d537d1c96cf654c5f8d5a13e3512e5138049 # Parent 3079b4eb57ad6566baa2c8b6ce8ad8e99b9f421b 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. diff --git a/libgui/default-qt-settings b/libgui/default-qt-settings --- a/libgui/default-qt-settings +++ b/libgui/default-qt-settings @@ -25,7 +25,6 @@ codeCompletion=true fontName=Ubuntu Mono fontSize=12 -shortWindowTitle=true longWindowTitle=true [terminal]