--- a/src/Tools/jEdit/src/jEdit.props Fri May 16 19:14:00 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Sun May 18 00:00:26 2014 +0200
@@ -188,7 +188,8 @@
isabelle-output.height=174
isabelle-output.width=412
isabelle-query.dock-position=bottom
-isabelle-simplifier-trace.dock-position=bottom
+isabelle-simplifier-trace.dock-position=floating
+isabelle-sledgehammer.dock-position=bottom
isabelle-symbols.dock-position=bottom
isabelle-theories.dock-position=right
isabelle.complete.label=Complete Isabelle text