Changeset 733 in josm for trunk/src/org/openstreetmap/josm/gui/download
- Timestamp:
- 2008-07-22T09:21:04+02:00 (16 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/download
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/download/BookmarkSelection.java
r627 r733 42 42 43 43 JPanel dlg = new JPanel(new GridBagLayout()); 44 gui.tabpane.addTab( "Bookmarks", dlg);44 gui.tabpane.addTab(tr("Bookmarks"), dlg); 45 45 46 46 bookmarks = new BookmarkList(); -
trunk/src/org/openstreetmap/josm/gui/download/BoundingBoxSelection.java
r679 r733 133 133 dlg.add(sizeCheck, GBC.eop().insets(10,0,5,20)); 134 134 135 gui.tabpane.addTab( "Bounding Box", dlg);135 gui.tabpane.addTab(tr("Bounding Box"), dlg); 136 136 } 137 137 -
trunk/src/org/openstreetmap/josm/gui/download/WorldChooser.java
r627 r733 99 99 temp.add(this, BorderLayout.CENTER); 100 100 temp.add(new JLabel(tr("You can use the mouse or Ctrl+Arrow keys/./ to zoom and pan.")), BorderLayout.SOUTH); 101 gui.tabpane.add(temp, "Map");102 new MapMover(this, temp); 101 gui.tabpane.add(temp, tr("Map")); 102 new MapMover(this, temp); 103 103 SelectionEnded selListener = new SelectionEnded(){ 104 104 public void selectionEnded(Rectangle r, boolean alt, boolean shift, boolean ctrl) {
Note:
See TracChangeset
for help on using the changeset viewer.