PatR 770afba463 github issue #481 - highlighting for #overview ...

Report states that the dungeon overview menu doesn't honor the
'menu_headings' option.  However, dungeon overview is not a menu.

Despite that, switch its hardcoded use of bold and inverse to use
the option value instead.  It doesn't really need two different
highlights and this allows user to control which video attribute
gets used.  If someone wants different highlighting for overview
than for menus, they're out of luck.

Fixes #481

2021-04-01 14:10:30 -07:00

63 KiB

Raw Blame History

View Raw