Changeset 14389 in josm for trunk/src/org/openstreetmap/josm/tools/OpenBrowser.java

Timestamp:

2018-10-30T23:07:31+01:00 (5 years ago)

Author:

simon04

Message:

fix #16891 - Allow to override default web browser on Windows

Set the advanced preference key browser.windows to the browser executable.

File:

• trunk/src/org/openstreetmap/josm/tools/OpenBrowser.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/OpenBrowser.java

@@ -22 +22 @@
     }
 
-    private static void displayUrlFallback(URI uri) throws IOException {
-        if (PlatformManager.getPlatform() == null)
-            throw new IllegalStateException(tr("Failed to open URL. There is currently no platform set. Please set a platform first."));
-        PlatformManager.getPlatform().openUrl(uri.toString());
-    }
-
     /**
      * Displays an external URI using platform associated software.
@@ -41 +35 @@
         Logging.info(tr("Opening URL: {0}", uri));
 
-        if (Desktop.isDesktopSupported()) {
-            try {
-                if (PlatformManager.isPlatformWindows()) {
-                    // Desktop API works fine under Windows, so we don't try any fallback in case of I/O exceptions because it's not API's fault
-                    Desktop.getDesktop().browse(uri);
-                } else if (PlatformManager.isPlatformUnixoid() || PlatformManager.isPlatformOsx()) {
-                    // see #5629 #5108 #9568
-                    PlatformManager.getPlatform().openUrl(uri.toString());
-                } else {
-                    // This is not the case with some Linux environments (see below),
-                    // and not sure about Mac OS X, so we need to handle API failure
-                    try {
-                        Desktop.getDesktop().browse(uri);
-                    } catch (IOException e) {
-                        // Workaround for KDE (Desktop API is severely flawed)
-                        // see https://bugs.openjdk.java.net/browse/JDK-6486393
-                        Logging.log(Logging.LEVEL_WARN, "Desktop class failed. Platform dependent fall back for open url in browser.", e);
-                        displayUrlFallback(uri);
-                    }
-                }
-            } catch (IOException e) {
-                Logging.warn(e);
-                return e.getMessage();
+        try {
+            if (PlatformManager.getPlatform() != null) {
+                // see #5629 #5108 #9568
+                PlatformManager.getPlatform().openUrl(uri.toString());
+            } else if (Desktop.isDesktopSupported()) {
+                // This is not the case with some Linux environments (see below),
+                // and not sure about Mac OS X, so we need to handle API failure
+                Desktop.getDesktop().browse(uri);
+            } else {
+                Logging.warn("Neither Platform nor Desktop class is not supported. Cannot open " + uri);
             }
-        } else {
-            try {
-                Logging.warn("Desktop class is not supported. Platform dependent fall back for open url in browser.");
-                displayUrlFallback(uri);
-            } catch (IOException e) {
-                Logging.debug(e);
-                return e.getMessage();
-            }
+        } catch (IOException e) {
+            Logging.warn(e);
+            return e.getMessage();
         }
         return null;