commit PSI in EDT, not in background thread
commitc8ab5a5b5f1ae7360421ad17da50b591d02c874b
authorDmitry Jemerov <yole@jetbrains.com>
Mon, 8 Feb 2010 10:32:05 +0000 (8 13:32 +0300)
committerDmitry Jemerov <yole@jetbrains.com>
Mon, 8 Feb 2010 10:32:55 +0000 (8 13:32 +0300)
tree4e0e39fe75fa2d207735fd9f9397c11b1d7864c0
parent2120fb7f08e69752921f5e32c3c900f9542ddcf7
commit PSI in EDT, not in background thread
platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java