[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