From 30f211f032f4831c4d5ad908c93d5d3dc1e06ee4 Mon Sep 17 00:00:00 2001 From: Sergey Simonchik Date: Wed, 12 Feb 2020 15:35:11 +0300 Subject: [PATCH] ui: scale left indent once GitOrigin-RevId: 2b3ec14b59ba8d9c4b1b7a3a76b0cf28a2387735 --- platform/platform-api/src/com/intellij/ui/table/JBTable.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/platform-api/src/com/intellij/ui/table/JBTable.java b/platform/platform-api/src/com/intellij/ui/table/JBTable.java index 2802d1f79705..74a7a0e256ad 100644 --- a/platform/platform-api/src/com/intellij/ui/table/JBTable.java +++ b/platform/platform-api/src/com/intellij/ui/table/JBTable.java @@ -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;