void (Component c, Graphics g, int x, int y, int width, int height) { Editor editor = getEditor(); if (editor instanceof EditorEx) { g.setColor(((EditorEx)editor).getBackgroundColor()); g.fillRect(x + 1, y, LEFT_WHITE_SPACE, height); } g.setColor(OnePixelDivider.BACKGROUND); g.fillRect(x, y, 1, height); }