Nice Plug-in Manager! Permanently deleted user Created February 22, 2006 07:46 I just wanted to let Jetbrains know, that I really like the improvements of the Plug-in Manager.Tom
it does have some repaint problems, though