johan duparc

Hi Thomas! Unfortunately I no longer support that project. I'm not using this platform anymore... I guess the best bet now is to fork and improve the project. Sorry, this...

Hello Ginbob, This is not expected, there is no hidden property about this :) Can you paste here the content of your .derived file ? Le 16 sept. 2016 06:58,...

Unfortunately I don't have more time allocated on this project. I'd accept PR but I'm no longer setup to improve workflows on eclipse. A *guess* for a possible cause of...

Hi, Thank you for your interest in AutoDeriv! Unfortunately the project is frozen as I don't have ressources to continue it. Anyway, I think what you want to achieve is...

Unfortunately I'm no longer available to work on the project. If this is a folder that rarely change, you may flag it manually. Sorry for the inconvenience... Johan On Fri,...

Hi, thank you for your kind words. Nothing, yes, because this project is not my full time job. On Jan 11, 2018 10:40, "Thiago Berne" wrote: > 1.5 years since...

Hello Michal, It is already possible :) Just add a .derived file into the root directory of your workspace, it should do the trick. Can you try it and tell...

Hello again, My bad, I didn't read your previous message correctly, I thought you were thinking of new _projects_ instead of _workspace_. I apologize. This is a cool feature, thank...

The big question for me is: what UI design should I implement. I mean, what should be displayed in the settings page ? I think it would be very strange...

Hello Oilid, Unfortunately, there is no way to specifically disable the Plugin on a per-project basis. The easiest way to achieve this is to locally delete the .derived file without...