Changeset 1849 in josm for trunk/src/org/openstreetmap/josm/Main.java

Timestamp:

2009-07-26T10:58:59+02:00 (15 years ago)

Author:

stoecker

Message:

fix #3084 - patch by Pieren

File:

• trunk/src/org/openstreetmap/josm/Main.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/Main.java

@@ -447 +447 @@
     }
 
-    protected static void determinePlatformHook() {
+    public static void determinePlatformHook() {
         String os = System.getProperty("os.name");
         if (os == null) {