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);