X-Git-Url: http://gitweb.fperrin.net/?p=GpsPrune.git;a=blobdiff_plain;f=tim%2Fprune%2Ffunction%2Fedit%2FPointNameEditor.java;h=53e1f834b962fa8a098a9fc9345934dbdac3003f;hp=bfa46c4bf4d54f9df5f4e9101b859903a26cd172;hb=7f5ed2be62905bd37717376dc22d09e5ea7edb4d;hpb=b361869e590bbca32664c16ac24d6296926594a5

diff --git a/tim/prune/function/edit/PointNameEditor.java b/tim/prune/function/edit/PointNameEditor.java
index bfa46c4..53e1f83 100644
--- a/tim/prune/function/edit/PointNameEditor.java
+++ b/tim/prune/function/edit/PointNameEditor.java
@@ -8,6 +8,7 @@ import java.awt.event.ActionListener;
 import java.awt.event.KeyAdapter;
 import java.awt.event.KeyEvent;
 
+import javax.swing.BorderFactory;
 import javax.swing.BoxLayout;
 import javax.swing.JButton;
 import javax.swing.JDialog;
@@ -77,7 +78,8 @@ public class PointNameEditor extends GenericFunction
 		panel.setLayout(new BorderLayout());
 		// Create GUI layout for point name editor
 		JPanel centrePanel = new JPanel();
-		centrePanel.add(new JLabel(I18nManager.getText("dialog.pointnameedit.name") + ":"));
+		centrePanel.setLayout(new BorderLayout(8, 8));
+		centrePanel.add(new JLabel(I18nManager.getText("dialog.pointnameedit.name") + ": "), BorderLayout.WEST);
 		// Make listener to react to ok being pressed
 		ActionListener okActionListener = new ActionListener() {
 			public void actionPerformed(ActionEvent e)
@@ -101,8 +103,13 @@ public class PointNameEditor extends GenericFunction
 			}
 		});
 		_nameField.addActionListener(okActionListener);
-		centrePanel.add(_nameField);
-		panel.add(centrePanel);
+		centrePanel.add(_nameField, BorderLayout.CENTER);
+		// holder panel to stop the text box from being stretched
+		JPanel holderPanel = new JPanel();
+		holderPanel.setLayout(new BorderLayout());
+		holderPanel.setBorder(BorderFactory.createEmptyBorder(8, 8, 8, 8));
+		holderPanel.add(centrePanel, BorderLayout.NORTH);
+		panel.add(holderPanel, BorderLayout.CENTER);
 		JPanel rightPanel = new JPanel();
 		rightPanel.setLayout(new BoxLayout(rightPanel, BoxLayout.Y_AXIS));
 		JButton upperButton = new JButton(I18nManager.getText("dialog.pointnameedit.uppercase"));