src/Tools/jEdit/src/active.scala
changeset 56999 d926fc73b554
parent 56729 1da2272a06a4
child 57593 2f7d91242b99
--- a/src/Tools/jEdit/src/active.scala	Mon May 19 14:48:50 2014 +0200
+++ b/src/Tools/jEdit/src/active.scala	Mon May 19 15:00:11 2014 +0200
@@ -58,6 +58,7 @@
                       Isabelle.insert_line_padding(text_area, text)
                     else text_area.setSelectedText(text)
                 }
+                text_area.requestFocus
 
               case Simplifier_Trace.Active(serial, answer) =>
                 Simplifier_Trace.send_reply(PIDE.session, serial, answer)