[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[news.eclipse.platform] something annoying (can only enable 1 plugin at a time)

something annoying I found today...

I tried to "disable" tptp today because of some errors I was getting...
It seem that there is no easy (obvious) way to turn off a big feature like that (please tell me if there is a way) so I went into the product configuration and multi-selected all the tptp plugins and disabled them all.


It took a while, but the system disabled a zillion of them, and all was ok.

today, I tried to re-enable them.

I discovered that the system will only allow you to enable on at a time.

It will take me literally hours to manually enable each one at a time, as each time it wants to restart eclipse, or at worst, if I say no, it still refreshes the configuration tree.

anyone have a better way?