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