--- 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 @@
<body>
-<h1>Notes on the Isabelle/jEdit Prover IDE</h1>
+<h2>Notes on the Isabelle/jEdit Prover IDE</h2>
<ul>
--- 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
-<DOCKING LEFT="" TOP="" RIGHT="" BOTTOM="isabelle-session" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />
+<DOCKING LEFT="" TOP="" RIGHT="isabelle-session" BOTTOM="" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />
EOF
cat > "$JEDIT_SETTINGS/perspective.xml" <<EOF
<?xml version="1.0" encoding="UTF-8" ?>
--- 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