I am afraid you are still passing the event object as do_not_show in filemanagermenu. readermenu works fine though

Did you test? Looks okay:

Maybe because of

Maybe because of

koreader/plugins/hotkeys.koplugin/main.lua

Line 517 in 68f3b34

filemanagermenu.key_events.ShowMenu = { { "Menu" } }

I am embarrassed to say, you are right. that's the problem.

On second thought, shouldn't that onShowMenu event handler be better renamed to showMenu?

I'm not necessarily jumping for joy at the thought of removing an event handler. Could you clarify that?

No one is directly calling it anymore. Is what i was going to say, before realising that dispatcher still uses it. Never mind