[jedit:plugin-patches] #189 GdbPlugin: bring up to date
Jim LeFevre via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- ** [plugin-patches:#189] GdbPlugin: bring up to date** **Status:** open **Labels:** GdbPlugin **Created:** Sat Jan 01, 2022 03:32 PM UTC by Jim LeFevre **Last Updated:** Sat Jan 01, 2022 03:32 PM UTC **Owner:** nobody **Attachments:** - [GdbPlugin.patch](https://sourceforge.net/p/jedit/plugin-patches/189/attachment/GdbPlugin.patch) (10.6 kB; text/x-patch) GdbPlugin does not work on my system. This patch improves compatibility with the current version of the jEdit API. After these changes, basic features of the plugin are working for me. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-patches/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-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