Thanks to Stanislav the bug is fixed and both versions can co-exist happily now. BTW The version reported through the About... action is respectively 1.31 for IDEA 4.0 and 1.32 for IDEA 4.5. I did not rebuild them so I only changed the version registered in the plugin manager (respectively 1.31.1 and 1.32.1).
Sorry for the confusion. Hopefully we have nailed all plugin manager bugs at this point ;)
I checked the plugin page on www.intellij.org. Only the old version for IDEA3.0 is available for downloading there.
Bump. Still not there, and I need it!
FYI, it would appear that it's back under the 4.5 plugin download in-app interface.
Thanks to Stanislav the bug is fixed and both versions can co-exist happily now.
BTW The version reported through the About... action is respectively 1.31 for IDEA 4.0 and 1.32 for IDEA 4.5. I did not rebuild them so I only changed the version registered in the plugin manager (respectively 1.31.1 and 1.32.1).
Sorry for the confusion. Hopefully we have nailed all plugin manager bugs at this point ;)
Jacques