changeset 19917:b403780efe90

make sure shortcuts are active in editor after settings dialog (bug #44397) * main-window.cc (notice_settings): configure main-window shortcuts depending on focus of terminal dock widget, make sure the active dock widgets title bar is correctly styled after settings dialog
author Torsten <ttl@justmail.de>
date Mon, 02 Mar 2015 08:47:16 +0100
parents 75d1c4096ba7
children 65e6207f7ae4
files libgui/src/main-window.cc
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/main-window.cc	Sun Mar 01 20:36:34 2015 +0000
+++ b/libgui/src/main-window.cc	Mon Mar 02 08:47:16 2015 +0100
@@ -746,13 +746,14 @@
 
   _prevent_readline_conflicts =
     settings->value ("shortcuts/prevent_readline_conflicts", true).toBool ();
-  configure_shortcuts ();
   set_global_shortcuts (command_window_has_focus ());
 
   _suppress_dbg_location =
         ! settings->value ("terminal/print_debug_location", false).toBool ();
 
   resource_manager::update_network_settings ();
+
+  emit active_dock_changed (0, _active_dock); // update dock widget styles
 }
 
 void