# HG changeset patch
# User wenzelm
# Date 1229791230 -3600
# Node ID ec74cd63f7cbe5dad6aab2cf9048c18ae55851b3
# Parent  d5a41da986c377c01955f65c930294932f64e784
default docking of sidekick and isabelle-state;

diff -r d5a41da986c3 -r ec74cd63f7cb src/Tools/jEdit/dist-template/properties/jedit.props
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Sat Dec 20 17:16:29 2008 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Sat Dec 20 17:40:30 2008 +0100
@@ -21,3 +21,5 @@
 view.gutter.fontsize=12
 view.middleMousePaste=true
 view.showToolbar=false
+sidekick-tree.dock-position=right
+isabelle-state.dock-position=bottom