Re: Groovy plugin breaks JavaScriptShell plugin
Alan Ezust <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CALy5K9qjD41fABLN_irEE9-YAtwVJM6-8+Qf3jTxCs+ZQ_s4nQ@mail.gmail.com> |
If you have a patch to submit for the JavaScriptShell plugin, please post it to https://sourceforge.net/p/jedit/plugin-patches/ It hasn't been released in 8 years and it does have a couple of other changes that have not been committed yet, so I am willing to apply/test the patch and create a release request for it. On Thu, Jun 15, 2017 at 2:39 PM, Zigmantas Kryzius <[email protected]> wrote: > Hi All, > > are here still interested in some solution of the problem described in the > link below? > > http://jedit.9.x6.nabble.com/jEdit-devel-Groovy-plugin-break > s-JavaScriptShell-plugin-tt5007644.html#none > > It seems that this problem could be solved via modifying the code of > JavaScriptShell plugin. This works well for me. > > Regards, > Zigmas Kryzius > > > ------------------------------------------------------------ > ------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > -- > ----------------------------------------------- > jEdit Users' List > [email protected] > https://lists.sourceforge.net/lists/listinfo/jedit-users > > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users