# HG changeset patch
# User wenzelm
# Date 851094630 -3600
# Node ID 5220fb014f8a54e88d8babd85234a32ed6e0ea8e
# Parent  44ee3255555c2c10a02b50bc1b36c339164ff038
changed xterm geometry;

diff -r 44ee3255555c -r 5220fb014f8a etc/settings
--- a/etc/settings	Fri Dec 20 10:54:01 1996 +0100
+++ b/etc/settings	Fri Dec 20 16:10:30 1996 +0100
@@ -76,7 +76,7 @@
 
 # Xterm with symbol font.
 ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
 ISABELLE_SYMBOLS=true
 
 # GNU Emacs running Isamode.
diff -r 44ee3255555c -r 5220fb014f8a etc/user-settings.sample
--- a/etc/user-settings.sample	Fri Dec 20 10:54:01 1996 +0100
+++ b/etc/user-settings.sample	Fri Dec 20 16:10:30 1996 +0100
@@ -29,7 +29,7 @@
 
 # Xterm with symbol font.
 #ISABELLE_INTERFACE=xterm
-#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+#ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
 #ISABELLE_SYMBOLS=true
 
 # GNU Emacs running Isamode.