| changeset 2466 | 5220fb014f8a |
| parent 2436 | 5be639c601b2 |
| child 2599 | 652e202b7ddb |
--- 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.