src/Tools/jEdit/dist-template/properties/jedit.props
changeset 34760 dc7f5e0d9d27
parent 34753 dd8bdcb7dcba
child 34773 bb5d68f7fd5e
     1.1 --- a/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -170,9 +170,9 @@
     1.4  encodingDetectors=BOM XML-PI buffer-local-property
     1.5  fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
     1.6  firstTime=false
     1.7 -isabelle-browser.dock-position=bottom
     1.8 -isabelle-output.dock-position=bottom
     1.9 -isabelle-state.dock-position=bottom
    1.10 +isabelle-history.dock-position=bottom
    1.11 +isabelle-raw-output.dock-position=bottom
    1.12 +isabelle-results.dock-position=bottom
    1.13  isabelle.activate.shortcut=CS+ENTER
    1.14  mode.isabelle.sidekick.showStatusWindow.label=true
    1.15  sidekick-tree.dock-position=right