projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1849f97) | patch
dump permissions: don't ever start background dumb mode if someone requested it to...
authorpeter <peter@jetbrains.com>
Wed, 28 Oct 2015 17:08:31 +0000 (18:08 +0100)
committerpeter <peter@jetbrains.com>
Wed, 28 Oct 2015 17:52:54 +0000 (18:52 +0100)
commitcb8cee27c4d20889ad0fe6ad272d67c60d82a6e3
tree7185e00bdec63e0c6546ba1e1fbcb78e54b8c7eftree
parent1849f97bc0b37d38e0275f856d79d228dc713182commit | diff
dump permissions: don't ever start background dumb mode if someone requested it to be modal
platform/platform-impl/src/com/intellij/openapi/project/DumbPermissionServiceImpl.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.