|
From: Alan E. <ala...@gm...> - 2017-06-15 21:57:38
|
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 <zig...@gm...> 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 > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > > |