# 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 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=false scores_top=3 scores_around=2 sidebar="auto" status3=true tileset="textunicode"