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

IDEA-85146 Diff view: line in the separator is drawn not accurately

Browse Source
This commit is contained in:
Konstantin Bulenkov
2012-04-30 14:18:06 +02:00
parent daf0720e62
commit a65fd84fc7
1 changed files with 3 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/splitter/DividerPolygon.java
+3 -2
View File
@@ -1,5 +1,5 @@
/*
* Copyright 2000-2009 JetBrains s.r.o.
* Copyright 2000-2012 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -114,6 +114,7 @@ class DividerPolygon {
}
private static DividerPolygon createPolygon(Transformation[] transformations, Trapezium trapezium, Color color, FragmentSide left) {
final int offset = 3; //IDEA-85146
Interval base1 = trapezium.getBase(left);
Interval base2 = trapezium.getBase(left.otherSide());
Transformation leftTransform = transformations[left.getIndex()];
@@ -122,7 +123,7 @@ class DividerPolygon {
int end1 = leftTransform.transform(base1.getEnd());
int start2 = rightTransform.transform(base2.getStart());
int end2 = rightTransform.transform(base2.getEnd());
return new DividerPolygon(start1, start2, end1, end2, color);
return new DividerPolygon(start1 - offset, start2 - offset, end1 - offset, end2 - offset, color);
}
static Interval getVisibleInterval(Editor editor) {