void (@NotNull Editor editor, @NotNull Graphics g, @NotNull Rectangle r) { if (myColor == null || ExperimentalUI.isNewUI()) return; g.setColor(myColor); g.fillRect(r.x, r.y, myThickness, r.height); g.fillRect(r.x + myThickness, r.y, myDepth, myThickness); g.fillRect(r.x + myThickness, r.y + r.height - myThickness, myDepth, myThickness); }