# note: this file is rewritten whenever options are
# changed and a game is not running
alt_is_esc=true
animation="interruptible"
border="nowhere"
comment=""
darkgray=true
draw_branch=true
draw_detected=true
draw_rock=false
draw_stepped=false
draw_tame=false
draw_terrain=true
extmenu=false
fontsize="14"
invweight=false
keymap=(null)
menu_headings="underline"
mouse=false
menupaging="by pages"
msgheight=1
msghistory=256
msg_window="full"
networkmotd="off"
optstyle="name only"
palette="terminal default (may require new window)"
prompt_inline=true
scores_own=false
scores_top=50
scores_around=6
sidebar="never"
status3=false
tileset="textascii"