Describer: specify ROOT locale for String.format()

stephengold · Oct 11, 2023 · a10a80a · a10a80a
1 parent fdebd48
commit a10a80a
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/HeartLibrary/src/main/java/jme3utilities/debug/Describer.java b/HeartLibrary/src/main/java/jme3utilities/debug/Describer.java
@@ -784,18 +784,18 @@ public String describeUserData(Spatial spatial) {
      */
     public String describeVertexData(Mesh mesh, int vertexIndex) {
         StringBuilder builder = new StringBuilder(80);
-        String desc;
-
+        String format;
         int numVertices = mesh.getVertexCount();
         if (numVertices <= 10) {
-            desc = String.format("v%1d: ", vertexIndex);
+            format = "v%1d: ";
         } else if (numVertices <= 100) {
-            desc = String.format("v%02d: ", vertexIndex);
+            format = "v%02d: ";
         } else if (numVertices <= 1000) {
-            desc = String.format("v%03d: ", vertexIndex);
+            format = "v%03d: ";
         } else {
-            desc = String.format("v%04d: ", vertexIndex);
+            format = "v%04d: ";
         }
+        String desc = String.format(Locale.ROOT, format, vertexIndex);
         builder.append(desc);
 
         int length = builder.length();