# HG changeset patch
# User wenzelm
# Date 1400364026 -7200
# Node ID 43be5818a45c3e39bc001080952420f1bda34235
# Parent  82c83978fbd9c33fb96af97410c54ee97af281fa
clarified docking layout, amending 9c2ca698690e;

diff -r 82c83978fbd9 -r 43be5818a45c src/Tools/jEdit/src/jEdit.props
--- 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