Ticket #21375: 21375.patch

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;
 import javax.swing.text.BadLocationException;
 import javax.swing.text.DocumentFilter;
@@ -13 +15 @@
 public class MaxLengthDocumentFilter extends DocumentFilter {
     /** the document will not accept text longer than this. -1 to disable */
     private int maxLength = -1;
+    private static final String DIFFERENT = tr("<different>");
 
     /**
      * Sets the maximum text length.
@@ -41 +44 @@
 
     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
                 ((attr != null) && attr.isDefined(StyleConstants.ComposedTextAttribute)));