javax.swing.border.EmptyBorder
这可能无法感知 DPI,并且可能导致 UI 布局问题。
快速修复将使用 JBUI.Borders.empty() 执行替换。
JBUI.Borders.empty()