# note: this file is rewritten whenever options are # changed and a game is not running alt_is_esc=false animation="everything" 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=true fontsize="14" invweight=true keymap=(null) menu_headings="inverse" mouse=true menupaging="by lines" msgheight=5 msghistory=20000 msg_window="full" networkmotd="ask" optstyle="name + description" palette="terminal default (may require new window)" prompt_inline=false scores_own=true scores_top=5 scores_around=4 sidebar="always" status3=true tileset="textunicode"