Changeset 13431 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/server/ServerAccessPreference.java

Timestamp:

2018-02-17T16:36:12+01:00 (7 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/server/ServerAccessPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/server/ServerAccessPreference.java

@@ -110 +110 @@
         return false;
     }
+
+    @Override
+    public String getHelpContext() {
+        return HelpUtil.ht("/Preferences/Connection");
+    }
 }