Closed Pehrsons closed 10 months ago
Instead of allowing only explicitly recognized terminal types, this patch makes INPUT_UNDEFINED explicitly ignored and everything else allowed. Unrecognized terminal types will still be logged as before.
Background for this change is https://bugzilla.mozilla.org/show_bug.cgi?id=1870678
Instead of allowing only explicitly recognized terminal types, this patch makes INPUT_UNDEFINED explicitly ignored and everything else allowed. Unrecognized terminal types will still be logged as before.
Background for this change is https://bugzilla.mozilla.org/show_bug.cgi?id=1870678