mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ui: scale left indent once
GitOrigin-RevId: 2b3ec14b59ba8d9c4b1b7a3a76b0cf28a2387735
This commit is contained in:
committed by
intellij-monorepo-bot
parent
e712f2e800
commit
30f211f032
@@ -849,7 +849,7 @@ public class JBTable extends JTable implements ComponentWithEmptyText, Component
|
||||
JLabel cmp = (JLabel)delegate;
|
||||
cmp.setHorizontalAlignment(SwingConstants.LEFT);
|
||||
Border border = cmp.getBorder();
|
||||
JBEmptyBorder indent = JBUI.Borders.emptyLeft(JBUI.scale(8));
|
||||
JBEmptyBorder indent = JBUI.Borders.emptyLeft(8);
|
||||
border = JBUI.Borders.merge(border, indent, true);
|
||||
cmp.setBorder(border);
|
||||
return cmp;
|
||||
|
||||
Reference in New Issue
Block a user