From 3fbb7213407acdf89084fd585d4eeab877de8663 Mon Sep 17 00:00:00 2001 From: anna Date: Mon, 2 Apr 2012 17:13:13 +0200 Subject: [PATCH] margins (IDEA-83904) --- .../intellij/codeInsight/daemon/impl/HectorComponent.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/HectorComponent.java b/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/HectorComponent.java index d994196e6b6a..52f410268636 100644 --- a/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/HectorComponent.java +++ b/platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/HectorComponent.java @@ -197,7 +197,7 @@ public class HectorComponent extends JPanel { slider.setOrientation(SwingConstants.HORIZONTAL); slider.setPreferredSize(new Dimension(200, 40)); panel.add(slider, new GridBagConstraints(0, 1, 1, 1, 1, 0, GridBagConstraints.WEST, GridBagConstraints.HORIZONTAL, - new Insets(0, 0, 0, 0), 0, 0)); + new Insets(5, 0, 5, 0), 0, 0)); } } @@ -205,11 +205,11 @@ public class HectorComponent extends JPanel { for (Language language : mySliders.keySet()) { JSlider slider = mySliders.get(language); JPanel borderPanel = new JPanel(new BorderLayout()); - slider.setPreferredSize(new Dimension(80, 100)); + slider.setPreferredSize(new Dimension(100, 100)); borderPanel.add(new JLabel(language.getID()), BorderLayout.NORTH); borderPanel.add(slider, BorderLayout.CENTER); panel.add(borderPanel, new GridBagConstraints(GridBagConstraints.RELATIVE, 1, 1, 1, 0, 1, GridBagConstraints.CENTER, GridBagConstraints.VERTICAL, - new Insets(0, 0, 0, 0), 0, 0)); + new Insets(0, 5, 0, 5), 0, 0)); } }