[LTT]

In Keyboard Map, double-clicking on an Option item is still not working, though the default menu/button (Jump) works.

By the way,
The default button for Symbols doesn’t show the text “Jump”, since the ones for Commands and Options show.