etc/user-settings.sample
changeset 2466 5220fb014f8a
parent 2436 5be639c601b2
child 2599 652e202b7ddb
equal deleted inserted replaced
2465:44ee3255555c 2466:5220fb014f8a
    27 ### Interfaces
    27 ### Interfaces
    28 ###
    28 ###
    29 
    29 
    30 # Xterm with symbol font.
    30 # Xterm with symbol font.
    31 #ISABELLE_INTERFACE=xterm
    31 #ISABELLE_INTERFACE=xterm
    32 #ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    32 #ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
    33 #ISABELLE_SYMBOLS=true
    33 #ISABELLE_SYMBOLS=true
    34 
    34 
    35 # GNU Emacs running Isamode.
    35 # GNU Emacs running Isamode.
    36 #ISABELLE_INTERFACE=emacs
    36 #ISABELLE_INTERFACE=emacs
    37 #ISABELLE_INTERFACE_OPTIONS=""
    37 #ISABELLE_INTERFACE_OPTIONS=""