comparison libgui/src/shortcut-manager.h @ 18898:f6f1f27026bb gui-release

status bars and code folding a user preference (bug #42306) * settings-dialog.ui: new checkboxes for status bars (main window and editor) and code folding * settings-dialog.cc (constructor): init new checkboxes from settings, (write-changed-settings): write boxes check states into settings * file-editor-tab.cc (constructor): do not set code folding here, (notice-settings): set code folding and show/hide status bar depending on settings * main-window.cc (notice-settings): show/hide status bar depending on settings
author Torsten <ttl@justmail.de>
date Tue, 06 May 2014 20:38:50 +0200
parents 95249367d6fa
children 3f6280d0a36b
comparison
equal deleted inserted replaced
18897:0f9ed79fb206 18898:f6f1f27026bb