1.1 --- a/src/Tools/jEdit/dist-template/properties/jedit.props	Thu Jun 03 22:45:49 2010 +0200
     1.2 +++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Thu Jun 03 22:54:33 2010 +0200
     1.3 @@ -181,7 +181,7 @@
     1.4  insert-newline-indent.shortcut=
     1.5  insert-newline.shortcut=ENTER
     1.6  isabelle-output.dock-position=bottom
     1.7 -isabelle-protocol.dock-position=bottom
     1.8 +isabelle-raw-output.dock-position=bottom
     1.9  isabelle.activate.shortcut=CS+ENTER
    1.10  line-end.shortcut=END
    1.11  line-home.shortcut=HOME