Changeset 12525 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-07-27T18:40:04+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
r12004 r12525 577 577 Element element = doc.getElement(id); 578 578 try { 579 // Deprecated API to replace only when migrating to Java 9 (replacement not available in Java 8) 580 @SuppressWarnings("deprecation") 579 581 Rectangle r = help.modelToView(element.getStartOffset()); 580 582 if (r != null) {
Note:
See TracChangeset
for help on using the changeset viewer.