javax.swing.border.EmptyBorder 和 JBUI.Borders.emptyXyz() 的用法。
EmptyBorder 实例非 DPI 感知,并且可能导致 UI 布局问题。
快速修复会使用 JBUI.Borders.empty() 执行替换或简化表达式。
示例:
// 不良: Border border1 = new EmptyBorder(1, 2, 3, 4); Border border2 = new EmptyBorder(1, 2, 1, 2); Border border3 = new EmptyBorder(1, 0, 0, 0); // 优良: Border border1 = JBUI.Borders.empty(1, 2, 3, 4); Border border2 = JBUI.Borders.empty(1, 2); Border border3 = JBUI.Borders.emptyTop(1);