projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e13ed8d) | patch
VCS: still fighting against "editor not released": since the check is done in project...
authorirengrig <Irina.Chernushina@jetbrains.com>
Sun, 28 Feb 2010 20:55:28 +0000 (23:55 +0300)
committerirengrig <Irina.Chernushina@jetbrains.com>
Sun, 28 Feb 2010 20:55:28 +0000 (23:55 +0300)
commite1b98a78b588a24ddbbd37a6c39422ea83bdf648
tree0e041e20b30497f8c6608a9262eaa6dead33d9d2tree
parente13ed8db30966f2856aee46e6cfb0f114bfc0637commit | diff
VCS: still fighting against "editor not released": since the check is done in projectClose(), release editor in projectClosing()
platform/vcs-impl/src/com/intellij/openapi/vcs/impl/ProjectLevelVcsManagerImpl.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.