select in project view: when in dumb mode and getOriginalElement fails, try to select...
authorpeter <peter@jetbrains.com>
Wed, 18 Feb 2015 16:29:20 +0000 (17:29 +0100)
committerpeter <peter@jetbrains.com>
Wed, 18 Feb 2015 16:38:31 +0000 (17:38 +0100)
commitacbd56350280dbce53558f1b171a1068ed084e51
tree75c6581b958138316e6cf14bb2c6c6d153cbbc9c
parent703dce2995fd78ab7fa8ed7d4d4dd5c6af51dbf5
select in project view: when in dumb mode and getOriginalElement fails, try to select the element we have (EA-64975, EA-64948, EA-64946, EA-64945)
platform/lang-impl/src/com/intellij/ide/impl/ProjectViewSelectInTarget.java