--- a/src/Tools/jEdit/dist-template/lib/Tools/jedit Tue Jan 12 16:51:51 2010 +0100
+++ b/src/Tools/jEdit/dist-template/lib/Tools/jedit Tue Jan 12 17:06:36 2010 +0100
@@ -106,7 +106,7 @@
if [ ! -e "$JEDIT_SETTINGS/perspective.xml" ]; then
cat > "$JEDIT_SETTINGS/DockableWindowManager/perspective-view0.xml" <<EOF
- <DOCKING LEFT="" TOP="" RIGHT="" BOTTOM="" LEFT_POS="0" TOP_POS="0" RIGHT_POS="172" BOTTOM_POS="183" />
+ <DOCKING LEFT="" TOP="" RIGHT="" 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 Tue Jan 12 16:51:51 2010 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props Tue Jan 12 17:06:36 2010 +0100
@@ -177,10 +177,7 @@
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
firstTime=false
isabelle-output.dock-position=bottom
-isabelle-output.height=296
-isabelle-output.width=512
isabelle-protocol.dock-position=bottom
-isabelle-results.dock-position=bottom
isabelle.activate.shortcut=CS+ENTER
mode.isabelle.sidekick.showStatusWindow.label=true
sidekick-tree.dock-position=right