Fixes [#3949] and [#3785] which seem to be duplicates.
The shortcut properties for actions are handled by their corresponding ActionSet
and can not be found in the global properties.
Asking jEdit.getProperty
may sometimes return properties from plugins but not jEdits actual shortcuts.
Addendum for the historically inclined: Using
jEdit.getProperty
was correct until [r20156] - "beginning of jEdit's keymap api" (jEdit 5.0)Related
Commit: [r20156]
Committed 24447. Thanks!