- Timestamp:
- 2022-06-08T15:35:08+02:00 (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/ToolbarPreferences.java
r18364 r18471 384 384 String tmp = action.getName(); 385 385 if (!tmp.isEmpty()) { 386 result.append(first ? "{" : ","); 387 result.append("name="); 386 result.append("{name="); 388 387 escape(tmp); 389 388 first = false; … … 398 397 if (!first) { 399 398 result.append('}'); 400 }399 } 401 400 } 402 401
Note:
See TracChangeset
for help on using the changeset viewer.