X-Git-Url: http://gitweb.fperrin.net/?a=blobdiff_plain;f=tim%2Fprune%2Ffunction%2Fedit%2FPointEditor.java;h=2321ece0bda861184eaecca8879eb134624a87ec;hb=140e9d165f85c3d4f0435a311e091209313faa2a;hp=6808e6a98837c4b692457a0b3940545c388a0481;hpb=54b9d8bc8f0025ccf97a67d9dd217ef1f9cf082f;p=GpsPrune.git diff --git a/tim/prune/function/edit/PointEditor.java b/tim/prune/function/edit/PointEditor.java index 6808e6a..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; @@ -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)