[ jEdit-devel ] [jedit:patches] #638 Bugfix for Macro Properties/Insert_Buffer_Properties

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

---

**[patches:#638] Bugfix for Macro Properties/Insert_Buffer_Properties**

**Status:** open
**Group:** 
**Created:** Wed Oct 09, 2024 08:01 PM UTC by Robert Schwenn
**Last Updated:** Wed Oct 09, 2024 08:01 PM UTC
**Owner:** nobody
**Attachments:**

- [Insert_Buffer_Properties.bsh.patch](https://sourceforge.net/p/jedit/patches/638/attachment/Insert_Buffer_Properties.bsh.patch) (520 Bytes; text/plain)


Fixed Macro Properties/Insert_Buffer_Properties.bsh to work with jEdit 5.7:

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


---

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.