| commit | b770a429c63a8e286dbd3939215fbffa59e73d9a | |
| author | nicm <nicm> | |
| Tue, 15 Aug 2023 07:01:47 +0000 (15 07:01 +0000) | ||
| committer | nicm <nicm> | |
| Tue, 15 Aug 2023 07:01:47 +0000 (15 07:01 +0000) | ||
| tree | d1bdeafad49032ea9cbf908c37b2e9737b828a91 | treesnapshot (tar.gz zip) |
| parent | 57837bbf67c10638e0684c93bb29e88ca9b07b52 | commitdiff |
Add an option menu-selected-style to configure the currently selected
menu item, from Alexis Hildebrandt.
menu item, from Alexis Hildebrandt.