Changeset 6223 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2013-09-08T05:51:16+02:00 (12 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui
- Files:
-
- 4 edited
-
help/HelpBrowserHistory.java (modified) (1 diff)
-
history/HistoryBrowserDialogManager.java (modified) (1 diff)
-
layer/geoimage/CorrelateGpxWithImages.java (modified) (4 diffs)
-
preferences/PreferenceTabbedPane.java (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java
r5923 r6223 52 52 boolean add=true; 53 53 54 if (historyPos >= 0 && historyPos < history.size() && history.get(historyPos).equals(url .toString())) {54 if (historyPos >= 0 && historyPos < history.size() && history.get(historyPos).equals(url)) { 55 55 add = false; 56 56 } else if (historyPos == history.size() -1) { -
trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialogManager.java
r6084 r6223 188 188 @Override 189 189 public boolean evaluate(OsmPrimitive p) { 190 if (hds.getHistory(p.getPrimitiveId()) == null) 190 History h = hds.getHistory(p.getPrimitiveId()); 191 if (h == null) 191 192 // reload if the history is not in the cache yet 192 193 return true; 193 else if (!p.isNew() && h ds.getHistory(p.getPrimitiveId()).getByVersion(p.getUniqueId()) == null)194 else if (!p.isNew() && h.getByVersion(p.getUniqueId()) == null) 194 195 // reload if the history object of the selected object is not in the cache yet 195 196 return true; -
trunk/src/org/openstreetmap/josm/gui/layer/geoimage/CorrelateGpxWithImages.java
r6106 r6223 33 33 import java.util.Comparator; 34 34 import java.util.Date; 35 import java.util.Dictionary; 35 36 import java.util.Hashtable; 36 37 import java.util.List; … … 73 74 import org.openstreetmap.josm.gui.layer.Layer; 74 75 import org.openstreetmap.josm.gui.widgets.JosmComboBox; 76 import org.openstreetmap.josm.gui.widgets.JosmTextField; 75 77 import org.openstreetmap.josm.io.GpxReader; 76 78 import org.openstreetmap.josm.tools.ExifReader; … … 79 81 import org.openstreetmap.josm.tools.PrimaryDateParser; 80 82 import org.xml.sax.SAXException; 81 import org.openstreetmap.josm.gui.widgets.JosmTextField;82 83 83 84 /** This class displays the window to select the GPX file and the offset (timezone + delta). … … 881 882 final JSlider sldTimezone = new JSlider(-24, 24, 0); 882 883 sldTimezone.setPaintLabels(true); 883 Hashtable<Integer,JLabel> labelTable = new Hashtable<Integer, JLabel>();884 Dictionary<Integer,JLabel> labelTable = new Hashtable<Integer, JLabel>(); 884 885 labelTable.put(-24, new JLabel("-12:00")); 885 886 labelTable.put(-12, new JLabel( "-6:00")); -
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r6084 r6223 201 201 @Override 202 202 public boolean identify(TabPreferenceSetting tps, Object name) { 203 return name != null && tps != null && tps.getIconName() != null && tps.getIconName() .equals(name);203 return name != null && tps != null && tps.getIconName() != null && name.equals(tps.getIconName()); 204 204 }}, name); 205 205 }
Note:
See TracChangeset
for help on using the changeset viewer.
