void (Graphics g, int y, int start, int stop) { if (mySettings.isWhitespacesShown()) { stop -= g.getFontMetrics().charWidth(' ') / 2; Color oldColor = g.getColor(); g.setColor(myScheme.getColor(EditorColors.WHITESPACES_COLOR)); final int charHeight = getCharHeight(); final int halfCharHeight = charHeight / 2; int mid = y - halfCharHeight; int top = y - charHeight; g.drawLine(start, mid, stop, mid); g.drawLine(stop, y, stop, top); g.fillPolygon(new int[]{stop - halfCharHeight, stop - halfCharHeight, stop}, new int[]{y, y - charHeight, y - halfCharHeight}, 3); g.setColor(oldColor); } }