src/Tools/jEdit/dist-template/properties/jedit.props

--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Wed Dec 30 17:48:58 2009 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Wed Dec 30 18:22:10 2009 +0100
@@ -170,7 +170,6 @@
 encodingDetectors=BOM XML-PI buffer-local-property
 fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
 firstTime=false
-isabelle-history.dock-position=bottom
 isabelle-protocol.dock-position=bottom
 isabelle-results.dock-position=bottom
 isabelle.activate.shortcut=CS+ENTER