Changeset 11959 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-04-19T19:21:39+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/imagery/ImageryPreference.java
r11810 r11959 39 39 import javax.swing.JToolBar; 40 40 import javax.swing.UIManager; 41 import javax.swing.event.HyperlinkEvent.EventType; 41 42 import javax.swing.event.ListSelectionEvent; 42 43 import javax.swing.event.ListSelectionListener; … … 65 66 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane; 66 67 import org.openstreetmap.josm.gui.util.GuiHelper; 68 import org.openstreetmap.josm.gui.widgets.HtmlPanel; 67 69 import org.openstreetmap.josm.gui.widgets.JosmEditorPane; 68 70 import org.openstreetmap.josm.tools.GBC; 69 71 import org.openstreetmap.josm.tools.ImageProvider; 70 72 import org.openstreetmap.josm.tools.LanguageInfo; 73 import org.openstreetmap.josm.tools.OpenBrowser; 71 74 72 75 /** … … 362 365 defaultToolbar.add(new ReloadAction()); 363 366 add(defaultToolbar, GBC.eol().anchor(GBC.SOUTH).insets(0, 0, 5, 0)); 367 368 HtmlPanel help = new HtmlPanel(tr("New default entries can be added in the <a href=\"{0}\">Wiki</a>.", Main.getJOSMWebsite()+"/wiki/Maps")); 369 help.getEditorPane().addHyperlinkListener(e -> { 370 if (e.getEventType() == EventType.ACTIVATED) { 371 OpenBrowser.displayUrl(e.getURL().toString()); 372 } 373 }); 374 add(help, GBC.eol().insets(10, 0, 0, 10).fill(GBC.HORIZONTAL)); 364 375 365 376 ActivateAction activate = new ActivateAction();
Note:
See TracChangeset
for help on using the changeset viewer.