# HG changeset patch
# User wenzelm
# Date 1400065857 -7200
# Node ID 9c2ca698690e284e9d4120aee9e77df4f4b654b9
# Parent  2ac12a7b1a699abf888ed737d6342785db30d63e
restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;

diff -r 2ac12a7b1a69 -r 9c2ca698690e src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Wed May 14 13:07:47 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Wed May 14 13:10:57 2014 +0200
@@ -189,7 +189,6 @@
 isabelle-output.width=412
 isabelle-query.dock-position=bottom
 isabelle-simplifier-trace.dock-position=bottom
-isabelle-sledgehammer.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
 isabelle.complete.label=Complete Isabelle text