X-Git-Url: https://gitweb.fperrin.net/?p=GpsPrune.git;a=blobdiff_plain;f=tim%2Fprune%2Ffunction%2Fedit%2FPointEditor.java;h=2321ece0bda861184eaecca8879eb134624a87ec;hp=9e02a1e69691d35dbbbeaff051f7f751f71258f3;hb=140e9d165f85c3d4f0435a311e091209313faa2a;hpb=c0387c124840c9407e040600fda88f3c3e8f6aa6

diff --git a/tim/prune/function/edit/PointEditor.java b/tim/prune/function/edit/PointEditor.java
index 9e02a1e..2321ece 100644
--- 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;
@@ -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)