Changeset 6666 in josm for trunk/src/org/openstreetmap/josm/gui/layer
- Timestamp:
- 2014-01-10T19:24:34+01:00 (10 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/layer
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/GpxLayer.java
r6310 r6666 220 220 trn("{0} waypoint", "{0} waypoints", data.waypoints.size(), data.waypoints.size())).append("<br>"); 221 221 222 final JScrollPane sp = new JScrollPane(new HtmlPanel(info.toString()) , JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);222 final JScrollPane sp = new JScrollPane(new HtmlPanel(info.toString())); 223 223 sp.setPreferredSize(new Dimension(sp.getPreferredSize().width, 350)); 224 224 SwingUtilities.invokeLater(new Runnable() { -
trunk/src/org/openstreetmap/josm/gui/layer/gpx/CustomizeDrawingAction.java
r6070 r6666 25 25 import org.openstreetmap.josm.gui.layer.Layer.MultiLayerAction; 26 26 import org.openstreetmap.josm.gui.preferences.display.GPXSettingsPanel; 27 import org.openstreetmap.josm.gui.util.GuiHelper; 27 28 import org.openstreetmap.josm.tools.ImageProvider; 28 29 … … 80 81 } 81 82 GPXSettingsPanel panel = new GPXSettingsPanel(layers.get(0).getName(), hasLocal, hasNonlocal); 82 JScrollPane scrollpane = new JScrollPane(panel, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);83 JScrollPane scrollpane = GuiHelper.embedInVerticalScrollPane(panel); 83 84 scrollpane.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0)); 84 85 int screenHeight = Toolkit.getDefaultToolkit().getScreenSize().height;
Note:
See TracChangeset
for help on using the changeset viewer.