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

[Robert S. <rsc...@us...>]

---

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

**Status:** open
**Group:** 
**Created:** Wed Oct 09, 2024 07:59 PM UTC by Robert Schwenn
**Last Updated:** Wed Oct 09, 2024 07:59 PM UTC
**Owner:** nobody
**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 jed...@li... 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.