MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[diff] Draw shadowed lines instead of simple ones on gutter

Browse Source 
Otherwise the transition from the editor to the gutter looks inconsistent.
This commit is contained in:
Kirill Likhodedov
2012-10-31 15:07:02 +04:00
parent 84b42b4c16
commit 293a287c4c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/diff/impl/DiffLineMarkerRenderer.java
+2 -2
View File
@@ -20,7 +20,6 @@ import com.intellij.openapi.editor.Editor;
import com.intellij.openapi.editor.ex.EditorEx;
import com.intellij.openapi.editor.ex.EditorGutterComponentEx;
import com.intellij.openapi.editor.markup.LineMarkerRenderer;
import com.intellij.util.ui.UIUtil;
import org.jetbrains.annotations.NotNull;
import java.awt.*;
@@ -60,7 +59,8 @@ public class DiffLineMarkerRenderer implements LineMarkerRenderer {
if (height > 2) {
g.setColor(color);
g.fillRect(x, y, width, height);
UIUtil.drawFramingLines(g2, x, x + width, y - 1, y + height - 1, color.darker());
DiffUtil.drawDoubleShadowedLine(g2, x, x + width, y - 1, color);
DiffUtil.drawDoubleShadowedLine(g2, x, x + width, y + height - 1, color);
}
else {
// insertion or deletion, when a range is null. matching the text highlighter which is a 2 pixel line