Menu

#581 Fixes #3949 - Macro Display_Shortcuts show no/wrong results

None
closed-accepted
None
5
2016-07-10
2016-03-27
No

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.

1 Attachments

Related

Bugs: #3785
Bugs: #3949

Discussion

  • Marc Häfner

    Marc Häfner - 2016-04-06

    Addendum for the historically inclined: Using jEdit.getProperty was correct until [r20156] - "beginning of jEdit's keymap api" (jEdit 5.0)

     

    Related

    Commit: [r20156]

  • Alan Ezust

    Alan Ezust - 2016-07-10
    • status: open --> closed-accepted
    • assigned_to: Alan Ezust
    • Group: -->
     
  • Alan Ezust

    Alan Ezust - 2016-07-10

    Committed 24447. Thanks!

     

Log in to post a comment.