# HG changeset patch
# User Torsten <ttl@justmail.de>
# Date 1359793046 -3600
# Node ID c4c46e1a086b44f52d9581ba2aa3db2e96c1acf1
# Parent  9cb64bafa7bd4e06827dae625a9d1c31ca19c36e
gui: switch to console when running an editor file or a command from history

* main-window.cc (handle_command_double_clicked): focus console window

diff -r 9cb64bafa7bd -r c4c46e1a086b libgui/src/main-window.cc
--- a/libgui/src/main-window.cc	Fri Feb 01 16:35:41 2013 -0500
+++ b/libgui/src/main-window.cc	Sat Feb 02 09:17:26 2013 +0100
@@ -166,7 +166,7 @@
 main_window::handle_command_double_clicked (const QString& command)
 {
   _terminal->sendText (command);
-  _terminal->setFocus ();
+  focus_command_window ();
 }
 
 void