feat: Gboard: disable adding spaces after colons and similar

[lolbinarycat]

Feature description

gboard automatically adds a space after a : if you use any of the predictive text suggestions.

I believe this can be disabled by adding a <string name="symbols_followed_by_space">.,</string> entry to res/values-en/strings.xml. Unfortunately apktool immediately crashes when I try to reassemble the modified APK.

application name: com.google.android.inputmethod.latin

Motivation

Many search engines use a key:value system for filtering by metadata, and almost all of them require there to be no space after the colon.

For example, in a google search, you can add filetype:html to only get html pages as results, or you can add filetype:pdf to only get pdf results.

github also uses this syntax for searching for labels or modifying the sorting of results.

many other search systems use this syntax, and this gboard anti-feature breaks all of them.

Acknowledgements

• I have checked all open and closed feature requests and this is not a duplicate
• I have chosen an appropriate title.
• All requested information has been provided properly.