From e604eebfb3d2da3f7c170e202f02e647f4d957ea Mon Sep 17 00:00:00 2001 From: Anton Makeev Date: Fri, 19 Oct 2012 14:20:35 +0200 Subject: [PATCH] Platform: mac tabs --- .../src/com/intellij/execution/ui/layout/impl/JBRunnerTabs.java | 1 + .../platform-api/src/com/intellij/ui/tabs/impl/TabLabel.java | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/platform/lang-impl/src/com/intellij/execution/ui/layout/impl/JBRunnerTabs.java b/platform/lang-impl/src/com/intellij/execution/ui/layout/impl/JBRunnerTabs.java index 5ea12e0cbddd..e6147fb0538c 100644 --- a/platform/lang-impl/src/com/intellij/execution/ui/layout/impl/JBRunnerTabs.java +++ b/platform/lang-impl/src/com/intellij/execution/ui/layout/impl/JBRunnerTabs.java @@ -255,6 +255,7 @@ public class @Override public void apply(UiDecorator.UiDecoration decoration) { setBorder(new EmptyBorder(5, 5, 7, 5)); + myLabel.setFont(UIUtil.getLabelFont(UIUtil.FontSize.SMALL)); } @Override diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/TabLabel.java b/platform/platform-api/src/com/intellij/ui/tabs/impl/TabLabel.java index 8173e4e73353..1a551fc70546 100644 --- a/platform/platform-api/src/com/intellij/ui/tabs/impl/TabLabel.java +++ b/platform/platform-api/src/com/intellij/ui/tabs/impl/TabLabel.java @@ -75,7 +75,7 @@ public class TabLabel extends JPanel { myLabel.setIconTextGap(tabs.isEditorTabs() ? 2 : new JLabel().getIconTextGap()); myLabel.setIconOpaque(false); myLabel.setIpad(new Insets(0, 0, 0, 0)); - myLabel.setFont(UIUtil.getLabelFont(UIUtil.FontSize.SMALL)); + if (SystemInfo.isMac) myLabel.setFont(UIUtil.getLabelFont(UIUtil.FontSize.SMALL)); setOpaque(false); setLayout(new BorderLayout());