On Saturday 21 October 2006 00:42, Jens Dagerbo wrote:
> The current behaviour is, imho, the better way. And at least back in april,
> when I changed the behaviour, Alexander Dymo agreed with me. I hope he
> still does. :)
Yes I do :)
We decided than instead of disabling the plugin forever (which original
version did) we would like to say "disable this plugin by default 
but allow the user to load it if he/she wants". 
And IIRC this option is what is now configurable in plugin selection dialog.

_______________________________________________
KDevelop-devel mailing list
KDevelop-devel@barney.cs.uni-potsdam.de
https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel