Menu created by mod_menu.menu() does not highlight/select entry when moused over

[mbenkmann]

Normal behavior in all other applications I know is that regardless whether a menu has been opened by mouse or by keyboard (e.g. Alt-F to open the File menu in a typical application), when you mouse over one of the menu entries (without any button pressed), that entry gets selected/highlighted and you can then activate that entry either by keyboard or by mouse click.

The mod_menu.menu() created menus do not behave like this at all. It's weird. E.g. open the main menu with F12 and mouse over the entries.

See how despite the cursor being over Lock screen the selected entry is still Run... and pressing ENTER will activate Run.... However clicking does activate the proper entry. Or rather, releasing any mouse button will activate the entry on which it has been released. Basically, when you press a button on the menu and hold it, the menu temporarily turns into a mod_menu.pmenu(). The selected entry tracks the mouse and releasing the button activates the entry under the mouse.

[mbenkmann]

If you've already read it, disregard the second part about the completely weird behavior. As I was writing this I had a version of Notion running where I had already hacked on to fix this issue and apparently gotten it partially fixed. I have changed the description of the bug to reflect the behavior on stock Notion, which is still wrong but a bit less weird. Mouse over just doesn't work and keeps not working. But I guess the part where the menu temporarily behaves like a pmenu is a bit weird.