public API for custom java source position highlighting
authorNikolay Tropin <Nikolay.Tropin@jetbrains.com>
Wed, 24 Jun 2015 10:44:20 +0000 (13:44 +0300)
committerEgor.Ushakov <egor.ushakov@jetbrains.com>
Wed, 24 Jun 2015 10:44:20 +0000 (13:44 +0300)
commit76199111c1536ec9dd8a329fe995ae279e878936
treed1951a3479704b3556c8e2f5c31e83b26ca42e94
parent152e100b1bd96048291b2f3391a67bb2f9ec5181
public API for custom java source position highlighting
java/debugger/impl/src/com/intellij/debugger/engine/JavaSourcePositionHighlighter.java [new file with mode: 0644]
java/debugger/impl/src/com/intellij/debugger/engine/PositionManagerImpl.java
java/debugger/impl/src/com/intellij/debugger/impl/DebuggerUtilsEx.java
java/debugger/openapi/src/com/intellij/debugger/engine/SourcePositionHighlighter.java [new file with mode: 0644]
resources/src/META-INF/IdeaPlugin.xml