better 'index not ready' message when trying to fetch documentation in dumb mode94.9194.93
commit0d4f8d0346bd61c391e0f2c1c1d7a6262314af68
authorKirill.Safonov <kirill.safonov@swiftteams.com>
Mon, 11 Jan 2010 18:08:21 +0000 (11 21:08 +0300)
committerKirill.Safonov <kirill.safonov@swiftteams.com>
Mon, 11 Jan 2010 18:08:21 +0000 (11 21:08 +0300)
treecd49c7ffca40fe93be65a8adb5ce7d9c295bf379
parentb28cc0b46d928436369230cafbe2328512780c50
better 'index not ready' message when trying to fetch documentation in dumb mode
platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationManager.java