Re: [JPP-Devel] [jump-pilot:support-requests] #7 BeanShell Script Editor properties

2020-06-14 Thread edgar . soldin
fast and furious Mike! nicely done.. sunny regards ede On 13.06.2020 15:03, michael michaud wrote: > János > > I pushed the source code to our plugin repository, and hopefully, fixed the > different points you mentionned. Please, try a new release from r6335. Note > that I've also upgradded the

[JPP-Devel] SVN: [6336] core/trunk/lib/plus

2020-06-14 Thread jump-pilot-svn--- via Jump-pilot-devel
Revision: 6336 http://sourceforge.net/p/jump-pilot/code/6336 Author: ma15569 Date: 2020-06-14 17:48:17 + (Sun, 14 Jun 2020) Log Message: --- removed duplicates Removed Paths: - core/trunk/lib/plus/JumpPrinter-1.89.jar core/trunk/lib/plus/JumpPrinter-