mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
make win10 checkbox smaller
This commit is contained in:
@@ -67,4 +67,9 @@ public class WinIntelliJCheckBoxUI extends IntelliJCheckBoxUI {
|
||||
UIUtil.drawDottedRectangle(g, textRect.x - 2, textRect.y - 1, textRect.width + textRect.x + 1, textRect.height + 3);
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
public Icon getDefaultIcon() {
|
||||
return JBUI.emptyIcon(18).asUIResource();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user