Version 11, August 2010

[GpsPrune.git] / tim / prune / function / edit / PointEditor.java

diff --git a/tim/prune/function/edit/PointEditor.java b/tim/prune/function/edit/PointEditor.java
index 6808e6a98837c4b692457a0b3940545c388a0481..2321ece0bda861184eaecca8879eb134624a87ec 100644 (file)
--- a/tim/prune/function/edit/PointEditor.java
+++ b/tim/prune/function/edit/PointEditor.java
@@ -7,6 +7,7 @@ import java.awt.FlowLayout;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 
+import javax.swing.BorderFactory;
 import javax.swing.JButton;
 import javax.swing.JDialog;
 import javax.swing.JFrame;
@@ -89,7 +90,7 @@ public class PointEditor
        private Component makeDialogComponents()
        {
                JPanel panel = new JPanel();
-               panel.setLayout(new BorderLayout());
+               panel.setLayout(new BorderLayout(1, 10));
                // Create GUI layout for point editor
                _table = new JTable(_model);
                _table.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
@@ -102,7 +103,10 @@ public class PointEditor
                });
                _table.setPreferredScrollableViewportSize(new Dimension(_table.getWidth(), _table.getRowHeight() * 6));
                panel.add(new JScrollPane(_table), BorderLayout.CENTER);
-               panel.add(new JLabel(I18nManager.getText("dialog.pointedit.text")), BorderLayout.NORTH);
+               // Label at top
+               JLabel topLabel = new JLabel(I18nManager.getText("dialog.pointedit.text"));
+               topLabel.setBorder(BorderFactory.createEmptyBorder(8, 6, 3, 6));
+               panel.add(topLabel, BorderLayout.NORTH);
                _editButton = new JButton(I18nManager.getText("button.edit"));
                _editButton.addActionListener(new ActionListener() {
                        public void actionPerformed(ActionEvent e)