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.getPropertywas correct until [r20156] - "beginning of jEdit's keymap api" (jEdit 5.0)Related
Commit: [r20156]
Committed 24447. Thanks!