[JPP-Devel] Updating extension

2020-06-13 Thread Michaud Michael
Hi Peppe,Hope you're fine. I noticed that most extensions you recently updated are duplicated. I think you just forgot to remove old versions, or you removed them in a way which is not detected by you're svn client. I did the same mistake today, and had to update the  project to get the file back

[JPP-Devel] [jump-pilot:feature-requests] #265 Create a "make line" tool

2020-06-13 Thread michael michaud via Jump-pilot-devel
- **status**: open --> closed-implemented - **assigned_to**: michael michaud --- ** [feature-requests:#265] Create a "make line" tool** **Status:** closed-implemented **Created:** Tue Jan 14, 2020 06:00 PM UTC by Jukka Rahkonen **Last Updated:** Tue Jan 28, 2020 03:31 PM UTC **Owner:** michael

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

2020-06-13 Thread michael michaud via Jump-pilot-devel
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 two dependencies without much testing (buoy for the UI and beanshell for the language interpreter). --- *

[JPP-Devel] SVN: [6335] core/trunk/pom.xml

2020-06-13 Thread jump-pilot-svn--- via Jump-pilot-devel
Revision: 6335 http://sourceforge.net/p/jump-pilot/code/6335 Author: michaudm Date: 2020-06-13 10:54:57 + (Sat, 13 Jun 2020) Log Message: --- update pom file to use buoy 1.9 Modified Paths: -- core/trunk/pom.xml Modified: core/trunk/pom.xml

[JPP-Devel] SVN: [6334] core/trunk/lib

2020-06-13 Thread jump-pilot-svn--- via Jump-pilot-devel
Revision: 6334 http://sourceforge.net/p/jump-pilot/code/6334 Author: michaudm Date: 2020-06-13 09:31:56 + (Sat, 13 Jun 2020) Log Message: --- Remove old versions of jar files Removed Paths: - core/trunk/lib/Buoy.jar core/trunk/lib/plus/bsheditor4jump