Merge pull request #114 from dyrlund/master

Added margin to MZRangeComponent
mzmine · Sep 3, 2015 · 7d2e211 · 7d2e211
2 parents 049cd90 + ff2223e
commit 7d2e211
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/main/java/net/sf/mzmine/parameters/parametertypes/ranges/MZRangeComponent.java b/src/main/java/net/sf/mzmine/parameters/parametertypes/ranges/MZRangeComponent.java
@@ -23,6 +23,7 @@
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 
+import javax.swing.BorderFactory;
 import javax.swing.JButton;
 import javax.swing.SwingUtilities;
 
@@ -39,8 +40,8 @@
 
 import com.google.common.collect.Range;
 
-public class MZRangeComponent extends DoubleRangeComponent implements
-        ActionListener {
+public class MZRangeComponent extends DoubleRangeComponent
+        implements ActionListener {
 
     private static final long serialVersionUID = 1L;
     private final JButton setAutoButton, fromFormulaButton;
@@ -49,6 +50,8 @@ public MZRangeComponent() {
 
         super(MZmineCore.getConfiguration().getMZFormat());
 
+        setBorder(BorderFactory.createEmptyBorder(0, 9, 0, 0));
+
         setAutoButton = new JButton("Auto range");
         setAutoButton.addActionListener(this);
         RawDataFile currentFiles[] = MZmineCore.getProjectManager()