Files
nethack/include
PatR fc52f0ef42 'menu_headings' option
If the value is "no color&none" report it as "no-color&none" in 'm O'
and for #saveoptions.

Allow "OPTIONS=menu_headings" without any color or attribute value to
mean "no-color&inverse" as it once did before the player could choose
which attribute or color was supported, and matching the default used
when 'menu_headings' hasn't been specified at all.

Accept "OPTIONS=!menu_headings", meaning "no-color&none".

Explicitly reject "OPTIONS=!menu_headings:anything".  It was rejecting
that due to blanket rejection of negated option, but reporting "can't
both have a value and be negated" whether there was any value present
or not.

For preselected menu entries when interactively choosing a new value
via the submenu of 'm O', use the current color and attribute rather
than NO_COLOR and ATR_NONE.
2023-11-14 21:33:09 -08:00
..
2022-02-04 11:01:20 -05:00
2022-03-13 13:58:56 -07:00
2022-11-29 21:53:21 -05:00
2022-07-19 21:23:26 +03:00
2022-07-19 21:23:26 +03:00
2022-11-29 21:53:21 -05:00
2023-09-16 20:16:51 -04:00
2023-04-22 16:10:37 -07:00
2023-05-22 20:50:35 -04:00
2023-03-04 11:02:06 +02:00
2022-06-30 23:48:18 -04:00
2023-11-11 19:49:38 -05:00
2023-03-01 14:00:29 +02:00
2021-01-26 21:06:16 -05:00
2023-05-04 06:02:23 -07:00
2023-11-14 21:33:09 -08:00
2023-11-15 07:26:21 +02:00
2023-05-22 14:43:01 -07:00
2023-11-10 15:43:02 -08:00
2022-07-01 08:36:03 -04:00
2022-03-11 07:33:28 -05:00
2022-06-19 02:30:45 -07:00
2022-11-29 21:53:21 -05:00
2022-11-29 21:53:21 -05:00
2023-02-25 07:02:19 -08:00
2023-10-04 20:06:12 +03:00
2023-06-14 15:54:04 -07:00
2023-06-14 15:54:04 -07:00
2023-11-14 21:33:09 -08:00
2023-11-10 10:04:06 -08:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2023-10-16 09:11:05 -04:00
2022-07-23 23:11:13 -07:00
2023-08-28 16:17:41 -04:00
2023-02-25 18:05:09 +02:00
2022-11-29 21:53:21 -05:00
2022-12-10 12:27:18 -05:00
2020-08-12 16:15:28 -07:00
2022-10-26 14:21:23 -04:00
2022-11-29 21:53:21 -05:00
2023-08-25 14:02:57 -04:00
2022-06-30 23:48:18 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2023-07-30 14:08:30 -07:00
2023-05-08 15:21:03 -07:00