# note: this file is rewritten whenever options are
# changed and a game is not running
alt_is_esc=false
animation="animate normally"
border="screen and menus"
comment=""
darkgray=true
draw_branch=true
draw_detected=true
draw_rock=false
draw_stepped=true
draw_tame=true
draw_terrain=true
extmenu=false
fontsize="14"
hintswindow=true
invweight=true
keymap=(null)
menu_headings="inverse"
mouse=false
menupaging="by lines"
msgcolor=true
msgfading="fade"
msgheight=8
msghistory=256
msg_window="full"
msgnomerge=false
networkmotd="ask"
optstyle="name + description"
palette="terminal default (may require new window)"
prompt_inline=false
scores_own=true
scores_top=3
scores_around=2
sidebar="auto"
status3=true
tileset="textunicode"
