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.
Log in to post a comment.
