Not really a bug but...

[RangerRob]

I've just noticed an extremely minor issue with your IDEA integration. Since version 4.5 (I think) plugins not bundled with IDEA are supposed to be installed in the "config/plugins" directory rather than the plugins directory off IDEA_HOME. Probably not worth worrying about since it doesn't effect the functionality in anyway but I just thought I'd let you know in case you weren't aware that this was now the IDEA standard.

[Vladimir Kondratyev]

Thank you for pointing the problem. Actually we have already investigated this new ability to install plug-ins. There was a problem that this new plug-in home could be configurable and it's not easy to know its location (at least without asking user to provide additional information). So we decided to use the old way since it's still legal and allow more user friendly installation procedure, but we might reconsider this issue in the future.