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

Eric Le Lay via jEdit-devel <[email protected]> Wed, 23 Oct 2024 17:19:59 -0000
Newsgroups gmane.editors.jedit.devel
Message-ID </p/jedit/patches/638/8ae4edcdbea0f55bfb49eecbc84c8f156fe34dd6.patches@jedit.p.sourceforge.net>
- **status**: open --> closed-accepted
- **assigned_to**: Eric Le Lay
- **Group**:  --> 
- **Comment**:

Committed in [r25763] Thanks, 



---

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

**Status:** closed-accepted
**Group:** 
**Created:** Wed Oct 09, 2024 08:01 PM UTC by Robert Schwenn
**Last Updated:** Wed Oct 09, 2024 08:01 PM UTC
**Owner:** Eric Le Lay
**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 [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