Changeset 10611 in josm for trunk/src/org/openstreetmap/josm/gui/help
- Timestamp:
- 2016-07-23T18:46:45+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
r10212 r10611 114 114 public static void setUrlForHelpTopic(final String helpTopic) { 115 115 final HelpBrowser browser = getInstance(); 116 Runnable r = new Runnable() { 117 @Override 118 public void run() { 119 browser.openHelpTopic(helpTopic); 120 browser.setVisible(true); 121 browser.toFront(); 122 } 123 }; 124 SwingUtilities.invokeLater(r); 116 SwingUtilities.invokeLater(() -> { 117 browser.openHelpTopic(helpTopic); 118 browser.setVisible(true); 119 browser.toFront(); 120 }); 125 121 } 126 122
Note:
See TracChangeset
for help on using the changeset viewer.