Changeset 13431 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPreference.java

Timestamp:

2018-02-17T16:36:12+01:00 (6 years ago)

Author:

Don-vip

Message:

fix #15950 - Preferences Help button should go directly to selected Preferences tab Help page

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPreference.java

@@ -6 +6 @@
 import javax.swing.JTabbedPane;
 
+import org.openstreetmap.josm.gui.help.HelpUtil;
 import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
@@ -41 +42 @@
         gui.createPreferenceTab(this).add(getTabPane(), GBC.eol().fill(GBC.BOTH));
     }
+
+    @Override
+    public String getHelpContext() {
+        return HelpUtil.ht("/Preferences/Map");
+    }
 }