# HG changeset patch
# User wenzelm
# Date 1275598473 -7200
# Node ID 6e44af45b8c55e4494c4cbecfad1bf0836a3b141
# Parent  6dce93f3157d7d33ca445b12c01767cc9cb3354c
tuned default perspective;

diff -r 6dce93f3157d -r 6e44af45b8c5 src/Tools/jEdit/dist-template/properties/jedit.props
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Thu Jun 03 22:45:49 2010 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Thu Jun 03 22:54:33 2010 +0200
@@ -181,7 +181,7 @@
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
 isabelle-output.dock-position=bottom
-isabelle-protocol.dock-position=bottom
+isabelle-raw-output.dock-position=bottom
 isabelle.activate.shortcut=CS+ENTER
 line-end.shortcut=END
 line-home.shortcut=HOME