[jedit:patches] #637 Bugfix for Macro Misc/Display_Actions

- **status**: open --> closed-accepted
- **assigned_to**: Eric Le Lay
- **Group**:  --> 
- **Comment**:

Committed in [r25763] Thanks, 



---

**[patches:#637] Bugfix for Macro Misc/Display_Actions**

**Status:** closed-accepted
**Group:** 
**Created:** Wed Oct 09, 2024 07:59 PM UTC by Robert Schwenn
**Last Updated:** Wed Oct 09, 2024 07:59 PM UTC
**Owner:** Eric Le Lay
**Attachments:**

- [Display_Actions.bsh.patch](https://sourceforge.net/p/jedit/patches/637/attachment/Display_Actions.bsh.patch) (443 Bytes; text/plain)


Fixed Macro Misc/Display_Actions.bsh to work with jEdit 5.7:

 - GUIUtilities.prettifyMenuLabel() => **Generic**GUIUtilities.prettifyMenuLabel()


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel