PatR
a587ccaa26
merge new use_menu_glyphs option with menu_objsyms
...
The two options are very similar but probably mutually exclusive
except when using look-here and look-into-container (both via ':')
with the default setting for 'sortloot', or with inventory when
'sortpack' has been toggled off.
This removes 'use_menu_glyphs' and changes 'menu_objsyms' from a
boolean to a compound taking six possible values:
| 0: no object symbols in menus,
| 1: append object class symbol to object header lines (same as old
|menu_objsyms boolean),
| 2: include object symbol in menu entry lines for objects (same as
|recently added use_menu_glyphs),
| 3: both 1 and 2,
| 4: display as #2 but only if the menu lacks class header lines,
| 5: if header lines are present, display as #1 ; if headers are not
|present, then display as #4 (which will implicitly be #2 ).
Default is #4 .
Effectively replaces the options portion of pull request #1406 and
retains the functionality, but not as default for normal menus.
Guidebook.tex is only partially updated. Someone else will need to
finish that.
2025-04-28 18:12:02 -07:00
..
2022-05-10 07:44:26 -04:00
2018-01-25 23:23:16 -05:00
2023-03-17 20:13:32 +02:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2023-01-10 12:20:21 +02:00
2022-05-10 11:26:52 -04:00
2023-04-01 10:10:34 +03:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-07-18 17:58:45 +03:00
2023-10-06 12:07:07 +03:00
2025-01-02 08:03:21 +02:00
2023-04-09 11:56:35 +03:00
2025-01-02 08:03:21 +02:00
2025-01-02 08:03:21 +02:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2024-12-21 12:19:26 +02:00
2023-02-25 23:54:07 -08:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2020-12-16 19:22:04 -08:00
2025-01-22 13:16:42 -08:00
2024-12-21 12:19:26 +02:00
2022-05-10 11:26:52 -04:00
2020-08-03 22:07:36 -04:00
2025-04-12 12:19:50 -07:00
2023-01-30 17:58:51 +02:00
2023-01-30 17:58:51 +02:00
2023-11-19 04:54:20 -08:00
2022-02-04 11:01:20 -05:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2024-12-22 18:14:12 +02:00
2019-05-31 18:41:37 -07:00
2023-02-11 11:35:06 -08:00
2024-05-13 14:12:38 -04:00
2023-04-01 17:48:03 +03:00
2019-06-25 03:27:42 -07:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2002-01-05 21:05:46 +00:00
2024-12-22 09:43:00 -05:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2025-01-02 08:05:31 +02:00
2024-05-19 14:44:10 -07:00
2023-02-03 19:10:04 +02:00
2022-05-10 11:26:52 -04:00
2024-02-28 20:15:56 -08:00
2022-05-10 11:26:52 -04:00
2023-12-13 17:55:42 +02:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2023-04-22 19:05:45 +03:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-10-12 13:47:12 -07:00
2023-12-02 08:18:01 +00:00
2023-06-23 15:19:36 -07:00
2023-06-23 15:19:36 -07:00
2025-04-28 18:12:02 -07:00
2023-08-31 14:58:51 -07:00
2022-05-10 11:26:52 -04:00
2015-03-17 18:45:58 +02:00
2023-01-20 14:08:34 +02:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2023-06-17 13:27:40 -07:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2024-09-20 22:19:59 -07:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2024-02-21 16:15:00 -05:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2024-02-28 20:15:56 -08:00
2024-01-06 15:51:46 -08:00
2024-01-10 23:01:53 -08:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2023-09-28 13:25:20 -07:00
2022-05-10 11:26:52 -04:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-10-18 13:30:51 +03:00
2024-08-30 14:19:19 -07:00
2025-04-12 17:21:40 -07:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-09-22 23:42:01 -07:00
2022-09-22 23:42:01 -07:00
2022-05-10 11:26:52 -04:00
2025-01-02 08:06:53 +02:00
2024-02-21 09:47:47 +02:00
2022-05-10 11:26:52 -04:00
2025-04-12 10:36:37 -07:00
2024-12-06 17:36:34 +02:00
2023-04-16 10:46:03 +03:00
2024-02-13 15:58:10 -08:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-27 21:23:31 -04:00
2023-01-17 20:11:45 +02:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2022-05-10 11:26:52 -04:00
2023-01-30 17:31:25 +02:00
2023-01-30 17:43:34 +02:00
2023-01-30 17:47:21 +02:00
2022-11-03 00:00:34 -07:00