Changeset 16322 in josm for trunk/src

Timestamp:

2020-04-17T20:50:39+02:00 (5 years ago)

Author:

simon04

Message:

fix #18883 - InspectPrimitiveDialog: improve mapstyle summary

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• dialogs/InspectPrimitiveDialog.java (modified) (5 diffs)
• mappaint/Range.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/dialogs/InspectPrimitiveDialog.java

@@ -7 +7 @@
 import java.awt.Dimension;
 import java.awt.GridBagLayout;
+import java.io.PrintWriter;
+import java.io.StringWriter;
 import java.text.Collator;
 import java.util.ArrayList;
@@ -118 +120 @@
         double scale = nc.getDist100Pixel();
 
-        final StringBuilder txtMappaint = new StringBuilder();
+        final StringWriter stringWriter = new StringWriter();
+        final PrintWriter txtMappaint = new PrintWriter(stringWriter);
         MapCSSStyleSource.STYLE_SOURCE_LOCK.readLock().lock();
         try {
             for (IPrimitive osm : sel) {
-                txtMappaint.append(tr("Styles Cache for \"{0}\":", osm.getDisplayName(DefaultNameFormatter.getInstance())));
+                String heading = tr("Styles for \"{0}\":", osm.getDisplayName(DefaultNameFormatter.getInstance()));
+                txtMappaint.println(heading);
+                txtMappaint.println(repeatString("=", heading.length()));
 
                 MultiCascade mc = new MultiCascade();
@@ -128 +133 @@
                 for (StyleSource s : elemstyles.getStyleSources()) {
                     if (s.active) {
-                        txtMappaint.append(tr("\n\n> applying {0} style \"{1}\"\n", getSort(s), s.getDisplayString()));
+                        heading = tr("{0} style \"{1}\"", getSort(s), s.getDisplayString());
+                        txtMappaint.println(heading);
+                        txtMappaint.println(repeatString("-", heading.length()));
                         s.apply(mc, osm, scale, false);
-                        txtMappaint.append(tr("\nRange:{0}", mc.range));
+                        txtMappaint.println(tr("Display range: {0}", mc.range));
                         for (Entry<String, Cascade> e : mc.getLayers()) {
-                            txtMappaint.append("\n ").append(e.getKey()).append(": \n").append(e.getValue());
+                            txtMappaint.println(tr("Layer {0}", e.getKey()));
+                            txtMappaint.print(" * ");
+                            txtMappaint.println(e.getValue());
                         }
-                    } else {
-                        txtMappaint.append(tr("\n\n> skipping \"{0}\" (not active)", s.getDisplayString()));
                     }
                 }
-                txtMappaint.append(tr("\n\nList of generated Styles:\n"));
+                txtMappaint.println();
+                heading = tr("List of generated Styles:");
+                txtMappaint.println(heading);
+                txtMappaint.println(repeatString("-", heading.length()));
                 StyleElementList sl = elemstyles.get(osm, scale, nc);
                 for (StyleElement s : sl) {
-                    txtMappaint.append(" * ").append(s).append('\n');
+                    txtMappaint.print(" * ");
+                    txtMappaint.println(s);
                 }
-                txtMappaint.append("\n\n");
+                txtMappaint.println();
+                txtMappaint.println();
             }
         } finally {
@@ -153 +165 @@
             StyleCache sc2 = selList.get(1).getCachedStyle();
             if (sc1 == sc2) {
-                txtMappaint.append(tr("The 2 selected objects have identical style caches."));
+                txtMappaint.println(tr("The 2 selected objects have identical style caches."));
             }
             if (!sc1.equals(sc2)) {
-                txtMappaint.append(tr("The 2 selected objects have different style caches."));
+                txtMappaint.println(tr("The 2 selected objects have different style caches."));
             }
             if (sc1 != sc2 && sc1.equals(sc2)) {
-                txtMappaint.append(tr("Warning: The 2 selected objects have equal, but not identical style caches."));
-            }
-        }
-        return txtMappaint.toString();
+                txtMappaint.println(tr("Warning: The 2 selected objects have equal, but not identical style caches."));
+            }
+        }
+        return stringWriter.toString();
+    }
+
+    private static String repeatString(String string, int count) {
+        // Java 11: use String.repeat
+        return new String(new char[count]).replace("\0", string);
     }
 
@@ -201 +218 @@
     private static String getSort(StyleSource s) {
         if (s instanceof MapCSSStyleSource) {
-            return tr("mapcss");
+            return "MapCSS";
         } else {
-            return tr("unknown");
+            return tr("UNKNOWN");
         }
     }

trunk/src/org/openstreetmap/josm/gui/mappaint/Range.java

@@ -103 +103 @@
     @Override
     public String toString() {
-        return String.format("|s%s-%s", lower, upper);
+        return String.format("|z%.4f-%.4f", lower, upper);
     }