# HG changeset patch
# User wenzelm
# Date 1263312396 -3600
# Node ID d5b901fc63e7d0d64aaa9a2c00d52f00cff358ae
# Parent  f88fc4fcab86c893bcbcca1f98625ab52467e11f
tuned initial properties/perspective;

diff -r f88fc4fcab86 -r d5b901fc63e7 src/Tools/jEdit/dist-template/lib/Tools/jedit
--- 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" ?>
diff -r f88fc4fcab86 -r d5b901fc63e7 src/Tools/jEdit/dist-template/properties/jedit.props
--- 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