'down' overriden/subclasses gutter navigation made progressable and cancellable
commita45f885eb779f918aa9eb3fc77d6e6c3ec79b22b
authorPeter Gromov <peter@jetbrains.com>
Tue, 8 Sep 2009 12:34:41 +0000 (8 16:34 +0400)
committerPeter Gromov <peter@jetbrains.com>
Tue, 8 Sep 2009 12:34:41 +0000 (8 16:34 +0400)
treee6bd58cbdabeee1c5c78a4a85bb58c1e78aa16f7
parent153062d1b0948106cae2dcca3055afd8ff2e1284
'down' overriden/subclasses gutter navigation made progressable and cancellable
java/java-impl/src/com/intellij/codeInsight/daemon/impl/MarkerType.java