1.1 --- a/etc/user-settings.sample	Fri Dec 20 10:54:01 1996 +0100
     1.2 +++ b/etc/user-settings.sample	Fri Dec 20 16:10:30 1996 +0100
     1.3 @@ -29,7 +29,7 @@
     1.4  
     1.5  # Xterm with symbol font.
     1.6  #ISABELLE_INTERFACE=xterm
     1.7 -#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
     1.8 +#ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
     1.9  #ISABELLE_SYMBOLS=true
    1.10  
    1.11  # GNU Emacs running Isamode.