more user-friendly dumb mode message (IDEADEV-41209)
commit13fcd897310f6c51e7af681b5b5fe1438d515fcc
authorDmitry Jemerov <yole@jetbrains.com>
Fri, 6 Nov 2009 12:59:32 +0000 (6 15:59 +0300)
committerDmitry Jemerov <yole@jetbrains.com>
Fri, 6 Nov 2009 12:59:32 +0000 (6 15:59 +0300)
treee5d6096b8044d7ef03e0eedce92c5c33d614d9f7
parent30364c7c30cb3875d9383575fbbb2653c975f113
more user-friendly dumb mode message (IDEADEV-41209)
platform/platform-impl/src/com/intellij/openapi/project/DumbModeIndicator.java