Unwanted space on Android with swift keyboard when typing console and dot

[jcubic]

Describe the issue

I'm not sure if this is something you're willing to fix, but I decided to report a bug anyway.

I'm in a process of debugging my own Terminal library that use content editable. In my library, I use:

function mobile_ignore_key(key) {
    return settings.mobileIgnoreAutoSpace.length &&
        settings.mobileIgnoreAutoSpace.indexOf(key) !== -1 && is_android;
}

mobileIgnoreAutoSpace = [',', '.', ')']

Browser and platform

Google Chrome / Android / Swift keyboard

Reproduction link

https://codemirror.net/