changeset 14813:2de56de8953a gui

* main-window: Fixed bug with command window not coming up on Ctrl+0.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Thu, 28 Jun 2012 12:21:58 +0200
parents 9d9eb9bac65e
children 61c80e9326a8
files gui/src/main-window.cc
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gui/src/main-window.cc	Thu Jun 28 11:04:37 2012 +0200
+++ b/gui/src/main-window.cc	Thu Jun 28 12:21:58 2012 +0200
@@ -215,6 +215,10 @@
       _terminal_dock_widget->setVisible (true);
     }
 
+  _terminal_dock_widget->setFocus ();
+  _terminal_dock_widget->activateWindow ();
+  _terminal_dock_widget->raise ();
+
   _terminal->setFocus ();
   _terminal->activateWindow ();
   _terminal->raise ();