void () { if (myGutter == null) return; int y = myGutter.getEditor().visualLineToY(myVisualLineNum); myGutter.repaint(0, y, myGutter.getWhitespaceSeparatorOffset(), y + myGutter.getEditor().getLineHeight()); }