[jedit:patches] #636 Bugfix for Macro Misc/Display_Abbreviations
Robert Schwenn via jEdit-devel <[email protected]> Wed, 09 Oct 2024 19:56:51 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- **[patches:#636] Bugfix for Macro Misc/Display_Abbreviations** **Status:** open **Group:** **Labels:** Macro Fix **Created:** Wed Oct 09, 2024 07:56 PM UTC by Robert Schwenn **Last Updated:** Wed Oct 09, 2024 07:56 PM UTC **Owner:** nobody **Attachments:** - [Display_Abbreviations.bsh.patch](https://sourceforge.net/p/jedit/patches/636/attachment/Display_Abbreviations.bsh.patch) (626 Bytes; text/plain) Fixed Macro Misc/Display_Abbreviations.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