Changeset 18236 in josm for trunk

Timestamp:

2021-09-29T20:27:39+02:00 (3 years ago)

Author:

Don-vip

Message:

fix #21375 - exempt <different> from max length restriction (patch by marcello)

File:

• trunk/src/org/openstreetmap/josm/gui/tagging/ac/MaxLengthDocumentFilter.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/tagging/ac/MaxLengthDocumentFilter.java

@@ -1 +1 @@
 // License: GPL. For details, see LICENSE file.
 package org.openstreetmap.josm.gui.tagging.ac;
+
+import static org.openstreetmap.josm.tools.I18n.tr;
 
 import javax.swing.text.AttributeSet;
@@ -14 +16 @@
     /** the document will not accept text longer than this. -1 to disable */
     private int maxLength = -1;
+    private static final String DIFFERENT = tr("<different>");
 
     /**
@@ -42 +45 @@
     private boolean mustInsertOrReplace(FilterBypass fb, int length, String string, AttributeSet attr) {
         int newLen = fb.getDocument().getLength() - length + ((string == null) ? 0 : string.length());
-        return (maxLength == -1 || newLen <= maxLength ||
+        return (maxLength == -1 || newLen <= maxLength || DIFFERENT.equals(string) ||
                 // allow longer text while composing characters or it will be hard to compose
                 // the last characters before the limit