# HG changeset patch
# User Jacob Dawid <jacob.dawid@googlemail.com>
# Date 1340878918 -7200
# Node ID 2de56de8953ade0cb4de751b29c9e0064a76a3b3
# Parent  9d9eb9bac65eb1357bff531a9f5b4482c2474339
* main-window: Fixed bug with command window not coming up on Ctrl+0.

diff -r 9d9eb9bac65e -r 2de56de8953a gui/src/main-window.cc
--- 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 ();