# HG changeset patch
# User wenzelm
# Date 1385824020 -3600
# Node ID 07ee041537a52cd064900c3dae93a85b750db8f0
# Parent  d71e7908eec3f1fea3b57c1bdc55727c2e950b8b
non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);

diff -r d71e7908eec3 -r 07ee041537a5 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Sat Nov 30 15:05:10 2013 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Sat Nov 30 16:07:00 2013 +0100
@@ -74,6 +74,7 @@
   }
 
   private val continuous_checking = new Isabelle.Continuous_Checking
+  continuous_checking.focusable = false
 
   private val logic = Isabelle_Logic.logic_selector(true)