--- a/src/Tools/jEdit/src/jEdit.props Tue May 06 16:41:24 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Tue May 06 16:57:17 2014 +0200
@@ -184,10 +184,10 @@
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
+isabelle-query.dock-position=bottom
isabelle-simplifier-trace.dock-position=bottom
isabelle-sledgehammer.dock-position=bottom
isabelle-symbols.dock-position=bottom