Re: [JPP-Devel] polished BeanTools a bit

2022-01-29 Thread Michaud Michael
Hi Ede,Thank you for improvements.I fixed broken BeanTools. There was several kinds of problems, one of which was that it still pointed to old JTS library.In you last commits, I also noticed that you changed plugin resources like icon from private to public.I think that we should not encourage to

[JPP-Devel] polished BeanTools a bit

2022-01-25 Thread edgar . soldin
hey Mike, just wanted to do a minor fixup on BeanTools but ended up doing a little more. hope you like the changes. https://github.com/openjump-gis/openjump/commit/2c60ff04dd94b1b896a142ac49676e87bb31bd6a https://github.com/openjump-gis/openjump/commit/f9dc0b716df56250f0eb7262dc4ae143b096945