Changeset 17148 in josm for trunk

Timestamp:

2020-10-10T21:23:37+02:00 (4 years ago)

Author:

Don-vip

Message:

fix #19903 - Add space to title of filter dialog (patch by hiddewie)

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/FilterDialog.java (modified) (1 diff)

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

@@ -366 +366 @@
     public void updateDialogHeader() {
         SwingUtilities.invokeLater(() -> setTitle(
-                tr("Filter Hidden:{0} Disabled:{1}",
+                tr("Filter Hidden: {0} Disabled: {1}",
                         filterModel.model.getDisabledAndHiddenCount(), filterModel.model.getDisabledCount())));
     }