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

simplier / better code after review http://crucible.labs.intellij.net/cru/CR-IC-658

Browse Source
This commit is contained in:
Maxim.Mossienko
2013-04-09 20:42:39 +02:00
parent 7e20ab6519
commit ffc0ea112e
1 changed files with 10 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
+10 -13
View File
@@ -3241,6 +3241,8 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
return true;
}
private static final char IDEOGRAPHIC_SPACE = '\u3000'; // http://www.marathon-studios.com/unicode/U3000/Ideographic_Space
private void drawChars(@NotNull Graphics g, char[] data, int start, int end, int x, int y) {
g.drawChars(data, start, end - start, x, y);
@@ -3249,23 +3251,18 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
g.setColor(myScheme.getColor(EditorColors.WHITESPACES_COLOR));
final FontMetrics metrics = g.getFontMetrics();
int halfSpaceWidth = metrics.charWidth(' ') / 2;
final int UNDEFINED_WIDTH = -1;
int wideSpaceWidth = UNDEFINED_WIDTH;
final int charHeight = getCharHeight();
final char IDEOGRAPHIC_SPACE = '\u3000';
for (int i = start; i < end; i++) {
char c = data[i];
if (c == ' ') {
g.fillRect(x + halfSpaceWidth, y, 1, 1);
} else if (c == IDEOGRAPHIC_SPACE) {
if (wideSpaceWidth == UNDEFINED_WIDTH) wideSpaceWidth = metrics.charWidth(IDEOGRAPHIC_SPACE);
final char c = data[i];
final int charWidth = metrics.charWidth(c);
g.drawRect(x + 2, y - charHeight, wideSpaceWidth - 4, charHeight);
if (c == ' ') {
g.fillRect(x + (charWidth >> 1), y, 1, 1);
} else if (c == IDEOGRAPHIC_SPACE) {
final int charHeight = getCharHeight();
g.drawRect(x + 2, y - charHeight, charWidth - 4, charHeight);
}
x += metrics.charWidth(c);
x += charWidth;
}
g.setColor(oldColor);
}