384385386387388389390391392393394
g.drawRect(1, 1, width - 3, height - 3); g.setColor(UIUtil.getPanelBackground()); g.drawRect(0, 0, width-1, height-1); } g.translate(-x, -y); config.restore(); } private Color getBorderColor(boolean enabled) { if (UIUtil.isUnderDarcula()) {