Re: [JPP-Devel] Updating extension

2020-06-18 Thread Giuseppe Aruta
Hi Michaël, thanks for the comments. *interaction with "display vertex symbol" in Basic Style panel and "display vertex symbol" in Color Theming panel is difficult to understand. I think that the option is supposed to be driven by the checkbox of the color theming panel, but it also interacts with

[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