# HG changeset patch
# User wenzelm
# Date 1285938675 -7200
# Node ID 37bdc2220cf88bb3e8b80594cb656373af6cc660
# Parent 63a1eb22d7d3c3a9ffb4fe9b0ca9eec6e4fb2d60
tuned default "Prover Session" perspective;
diff -r 63a1eb22d7d3 -r 37bdc2220cf8 src/Tools/jEdit/dist-template/README.html
--- a/src/Tools/jEdit/dist-template/README.html Fri Oct 01 14:47:46 2010 +0200
+++ b/src/Tools/jEdit/dist-template/README.html Fri Oct 01 15:11:15 2010 +0200
@@ -9,7 +9,7 @@
-Notes on the Isabelle/jEdit Prover IDE
+Notes on the Isabelle/jEdit Prover IDE
diff -r 63a1eb22d7d3 -r 37bdc2220cf8 src/Tools/jEdit/dist-template/lib/Tools/jedit
--- a/src/Tools/jEdit/dist-template/lib/Tools/jedit Fri Oct 01 14:47:46 2010 +0200
+++ b/src/Tools/jEdit/dist-template/lib/Tools/jedit Fri Oct 01 15:11:15 2010 +0200
@@ -106,7 +106,7 @@
if [ ! -e "$JEDIT_SETTINGS/perspective.xml" ]; then
cat > "$JEDIT_SETTINGS/DockableWindowManager/perspective-view0.xml" <
+
EOF
cat > "$JEDIT_SETTINGS/perspective.xml" <
diff -r 63a1eb22d7d3 -r 37bdc2220cf8 src/Tools/jEdit/dist-template/properties/jedit.props
--- a/src/Tools/jEdit/dist-template/properties/jedit.props Fri Oct 01 14:47:46 2010 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props Fri Oct 01 15:11:15 2010 +0200
@@ -178,9 +178,9 @@
insert-newline-indent.shortcut=
insert-newline.shortcut=ENTER
isabelle-output.dock-position=bottom
-isabelle-session.dock-position=bottom
-isabelle-session.height=174
-isabelle-session.width=412
+isabelle-output.height=174
+isabelle-output.width=412
+isabelle-session.dock-position=right
line-end.shortcut=END
line-home.shortcut=HOME
lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel