Changeset 18471 in josm

Timestamp:

2022-06-08T15:35:08+02:00 (2 years ago)

Author:

stoecker

Message:

fix dead code

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/ToolbarPreferences.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/ToolbarPreferences.java

@@ -384 +384 @@
                 String tmp = action.getName();
                 if (!tmp.isEmpty()) {
-                    result.append(first ? "{" : ",");
-                    result.append("name=");
+                    result.append("{name=");
                     escape(tmp);
                     first = false;
@@ -398 +397 @@
                 if (!first) {
                     result.append('}');
-            }
+                }
             }