The problem with the tooltips not disappearing is still there. I always notice it too late, so I'm not sure when it occurs.
Pepijn Van Eeckhoudt _______________________________________________ Eap-bugs mailing list [EMAIL PROTECTED] http://lists.jetbrains.com/mailman/listinfo/eap-bugs
