|
Ede, Just tested last BeanShellEditor. Works well. If you don't mind, now that all extensions have been updated to use new FeatureInstaller / I18N, I'd like to make a full update of OpenJUMP PLUS by copying jar files before you start changes on packaging. PLUS distro has been broken for several months, and it would be nice to have a complete version. I should be able to move new extension versions to OpenJUMP distro tonight. And a question about how you plan to manage dependencies of extension. For example, the lib directory of the new BeanshellEditor contains jedit and the BeanShell jar file, but the later is already included in OpenJUMP CORE. Any way to avoid such duplication ? On the other hand, some extensions may need specific versions of a library. Do you want to use some specialized library to manage extensions and dependencies or just maven ? Michaël envoyé : 23 août 2021 à 13:43 |
_______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
