# HG changeset patch
# User wenzelm
# Date 1376773128 -7200
# Node ID ce067c13d8e588293795b473446775e299ff5412
# Parent  e18a028b345ca766dfdf9bba23eb0291528a5b31
Sledgehammer is docked on startup;

diff -r e18a028b345c -r ce067c13d8e5 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Sat Aug 17 22:45:48 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Sat Aug 17 22:58:48 2013 +0200
@@ -210,6 +210,7 @@
 isabelle.reset-node-required.label=Reset node required
 isabelle.set-continuous-checking.label=Set continuous checking
 isabelle.set-node-required.label=Set node required
+isabelle-sledgehammer.dock-position=bottom
 isabelle.toggle-continuous-checking.label=Toggle continuous checking
 isabelle.toggle-continuous-checking.shortcut=C+e ENTER
 isabelle.toggle-node-required.label=Toggle node required