commit | dee72ed41f54d9ba12b1ce20c18476d9276a876d | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue Aug 08 08:08:47 2023 +0000 |
committer | nicm <nicm> | Tue Aug 08 08:08:47 2023 +0000 |
tree | a0b8e2c6014a32f750727233313bae0d74ac2837 | |
parent | 1071ef8fc5bd5d2776dd6b413ce0535a0f81be65 [diff] |
Add options and flags for menu styles similar to those existing for popups, from Alexis Hildebrandt. GitHub issue 3650.