# HG changeset patch
# User wenzelm
# Date 1376073011 -7200
# Node ID 383c1496d0aa3d6f0a1616611e4d1da451103ce7
# Parent  a7947b72bac2b24c998f57f90d1ca205f48cf0cc
Find is docked on startup;

diff -r a7947b72bac2 -r 383c1496d0aa src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Fri Aug 09 20:26:54 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Aug 09 20:30:11 2013 +0200
@@ -179,6 +179,7 @@
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
 isabelle-documentation.dock-position=right
+isabelle-find.dock-position=bottom
 isabelle-output.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412