Changeset 3067 in osm for applications/editors/josm

Timestamp:

2007-05-30T19:02:33+02:00 (17 years ago)

Author:

christofd

Message:

reordered imports
fixed result list from resizing on click

File:

• applications/editors/josm/plugins/namefinder/namefinder/PlaceSelection.java (modified) (3 diffs)

applications/editors/josm/plugins/namefinder/namefinder/PlaceSelection.java

@@ -4 +4 @@
 
 import java.awt.Component;
+import java.awt.Dimension;
 import java.awt.GridBagLayout;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
-import java.awt.event.MouseAdapter;
-import java.awt.event.MouseEvent;
 import java.io.InputStream;
 import java.io.InputStreamReader;
 import java.net.HttpURLConnection;
 import java.net.URL;
-import java.util.ArrayList;
-import java.util.List;
 
 import javax.swing.DefaultListCellRenderer;
 import javax.swing.DefaultListModel;
 import javax.swing.JButton;
-import javax.swing.JComponent;
 import javax.swing.JLabel;
 import javax.swing.JList;
@@ -26 +22 @@
 import javax.swing.JScrollPane;
 import javax.swing.JTextField;
-import javax.swing.ListCellRenderer;
-import javax.swing.ListSelectionModel;
 import javax.swing.event.ListSelectionEvent;
 import javax.swing.event.ListSelectionListener;
 
 import org.openstreetmap.josm.Main;
-import org.openstreetmap.josm.data.Bounds;
-import org.openstreetmap.josm.data.coor.LatLon;
-import org.openstreetmap.josm.data.osm.OsmPrimitive;
-import org.openstreetmap.josm.gui.OsmPrimitivRenderer;
 import org.openstreetmap.josm.gui.download.DownloadDialog;
 import org.openstreetmap.josm.gui.download.DownloadSelection;
@@ -170 +160 @@
                 panel.add(searchTerm, GBC.std().fill(GBC.HORIZONTAL));
                 panel.add(submitSearch, GBC.eol());
-
-                
-                GBC c = GBC.eol();
-                c.gridwidth = 2;
-                panel.add(new JScrollPane(searchResultDisplay), c);
-                gui.tabpane.add(panel, "Places");
+                
+                GBC c = GBC.std().fill();
+                JScrollPane scrollPane = new JScrollPane(searchResultDisplay);
+                panel.add(scrollPane, c);
+                gui.tabpane.add(panel, tr("Places"));
+                
+                scrollPane.setPreferredSize(scrollPane.getPreferredSize());
                 
                 // when the button is clicked