[ jedit-Bugs-3528222 ] macro Display_Abbreviations

Bugs item #3528222, was opened at 2012-05-19 06:08
Message generated for change (Comment added) made by kpouer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3528222&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: macros
Group: None
>Status: Pending
>Resolution: Works For Me
Priority: 6
Private: No
Submitted By: Robert Schwenn (rschwenn)
Assigned to: Matthieu Casanova (kpouer)
Summary: macro Display_Abbreviations

Initial Comment:
In jEdit 5.0pre1 daily the Display_Abbreviations.bsh macro shows only 7 shortcuts for me. The Global
Options -> Shortcuts pane shows many more.

p.s.
The first time I invoked this macro it crashed with a Beanshell error complaining about re-assigning a
final variable. But I'm unable to reproduce this error (and can't tell details).

----------------------------------------------------------------------

>Comment By: Matthieu Casanova (kpouer)
Date: 2012-07-03 05:13