Changeset 17820 in josm

Timestamp:

2021-04-25T07:02:39+02:00 (4 years ago)

Author:

GerdP

Message:

fix #20785: Improve Status Report when locale "Arabic(Saudi Arabia)" is used

• use Locale.ROOT for String.format
• report locate details and digits 0..9 with Locale.getDefault()

Location:

trunk/src/org/openstreetmap/josm

Files:

• actions/ShowStatusReportAction.java (modified) (3 diffs)
• tools/Logging.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java

@@ -96 +96 @@
             text.format("OS Build number: %s%n", buildNumber);
         }
-        text.format("Memory Usage: %d MB / %d MB (%d MB allocated, but free)%n",
+        text.format(Locale.ROOT, "Memory Usage: %d MB / %d MB (%d MB allocated, but free)%n",
                 Runtime.getRuntime().totalMemory() / 1024 / 1024,
                 Runtime.getRuntime().maxMemory() / 1024 / 1024,
@@ -114 +114 @@
                     AffineTransform transform = gd.getDefaultConfiguration().getDefaultTransform();
                     // Java 11: use DisplayMode#toString
-                    text.format(" %d\u00D7%d (scaling %.2f\u00D7%.2f)",
+                    text.format(Locale.ROOT, " %d\u00D7%d (scaling %.2f\u00D7%.2f)",
                             dm.getWidth(), dm.getHeight(), transform.getScaleX(), transform.getScaleY());
                 }
@@ -141 +141 @@
             }
         }
+        text.format("Locale info: %s%n", Locale.getDefault().toString());
+        text.format("Numbers with default locale: %s -> %d%n", Integer.toString(1_234_567_890), 1_234_567_890);
 
         if (PlatformManager.isPlatformUnixoid()) {

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

@@ -12 +12 @@
 import java.util.Arrays;
 import java.util.List;
+import java.util.Locale;
 import java.util.function.Supplier;
 import java.util.logging.ConsoleHandler;
@@ -496 +497 @@
             }
 
-            String msg = String.format("%09.3f %s%s", startup.elapsed() / 1000., getPrefix(record), record.getMessage());
+            String msg = String.format(Locale.ROOT, "%09.3f %s%s", startup.elapsed() / 1000., getPrefix(record), record.getMessage());
 
             // Only remember first line of message