pop-up menu doesn't work
Menu items in the pop-up menu (drawn over the Dvi widget) cannot be selected.
To reproduce:
- Launch xditview.
- Left-click on the main window (not in the menu or scroll bars).
- Attempt to select an item.
This issue also affects groff's gxditview client, which is how it came to my attention. However, it does not affect all of our users, so I suspect a problem with one of the libraries.
Background (possibly tedious): A. https://lists.gnu.org/archive/html/groff/2023-07/msg00138.html B. https://lists.gnu.org/archive/html/groff/2023-07/msg00153.html