- Timestamp:
- 2018-12-02T00:41:00+01:00 (6 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/gpx/WayPoint.java
r14460 r14483 92 92 */ 93 93 private static class LegacyMap extends HashMap<String, Object> { 94 private static final long serialVersionUID = 1; 94 95 95 96 LegacyMap() { -
trunk/src/org/openstreetmap/josm/gui/MapSlider.java
r14478 r14483 71 71 } 72 72 73 /** 74 * Free resources 75 */ 73 @Override 76 74 public void destroy() { 77 75 NavigatableComponent.removeZoomChangeListener(this); -
trunk/src/org/openstreetmap/josm/gui/history/NodeListViewer.java
r14463 r14483 11 11 import javax.swing.AbstractAction; 12 12 import javax.swing.JPopupMenu; 13 import javax.swing.JScrollPane;14 13 import javax.swing.JTable; 15 14 import javax.swing.ListSelectionModel; … … 54 53 } 55 54 56 protected JScrollPane embedInScrollPane(JTable table) {57 JScrollPane pane = new JScrollPane(table);58 adjustmentSynchronizer.participateInSynchronizedScrolling(pane.getVerticalScrollBar());59 return pane;60 }61 62 55 @Override 63 56 protected JTable buildReferenceTable() { -
trunk/src/org/openstreetmap/josm/tools/Utils.java
r14480 r14483 1915 1915 } catch (InvalidPathException e) { 1916 1916 Logging.error("Cannot open {0}: {1}", path, e.getMessage()); 1917 Logging.trace(e); 1917 1918 try { 1918 1919 URL betterUrl = betterJarUrl(klass.getResource(path));
Note:
See TracChangeset
for help on using the changeset viewer.