Changeset 16149 in josm for trunk/src

Timestamp:

2020-03-16T00:07:51+01:00 (5 years ago)

Author:

simon04

Message:

fix #15931 - Add a preference to use external browser instead of the Help Browser

File:

• trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java

@@ -34 +34 @@
 
 import org.openstreetmap.josm.actions.JosmAction;
+import org.openstreetmap.josm.data.preferences.BooleanProperty;
 import org.openstreetmap.josm.gui.HelpAwareOptionPane;
 import org.openstreetmap.josm.gui.MainApplication;
@@ -52 +53 @@
 public class HelpBrowser extends JFrame implements IHelpBrowser {
 
+    private static final BooleanProperty USE_EXTERNAL_BROWSER = new BooleanProperty("help.use-external-browser", false);
+
     /** the unique instance */
     private static HelpBrowser instance;
@@ -103 +106 @@
     public static void setUrlForHelpTopic(final String helpTopic) {
         final HelpBrowser browser = getInstance();
+        if (Boolean.TRUE.equals(USE_EXTERNAL_BROWSER.get())) {
+            SwingUtilities.invokeLater(() -> {
+                browser.loadRelativeHelpTopic(helpTopic);
+                OpenBrowser.displayUrl(browser.url);
+            });
+            return;
+        }
         SwingUtilities.invokeLater(() -> {
             browser.openHelpTopic(helpTopic);