diff: do not paint over annotations in gutter
authorAleksey Pivovarov <AMPivovarov@gmail.com>
Sat, 20 Jun 2015 13:42:10 +0000 (16:42 +0300)
committerAleksey Pivovarov <AMPivovarov@gmail.com>
Thu, 3 Sep 2015 16:28:06 +0000 (19:28 +0300)
commit11f198ad2cf0705f38ca7809264950667054781d
tree81879c81b2155b79fec42f0534749ae1bf63b4e5
parent23bc101ea9b9084d152a5840acd9ec36ad36399c
diff: do not paint over annotations in gutter
platform/diff-impl/src/com/intellij/diff/util/DiffLineMarkerRenderer.java
platform/diff-impl/src/com/intellij/diff/util/DiffLineSeparatorRenderer.java
platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorGutterComponentEx.java
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterComponentImpl.java