FAST
FAST copied to clipboard
"Ignore Space" shouldn't be a setting.
As per https://developer.android.com/design/patterns/settings.html ("Avoid the temptation to make everything a setting"), some things probably shouldn't be settings.
I can't think of a time where removing trailing spaces would cause problems, so perhaps always removing spaces is a good idea.
I use trailing spaces in some 2-3 letter combinations unique to some app names when using Auto launch
I think it would make far more sense to just remove that feature in an attemt to reduce the number of settings. In my experience, when using the app and i type a space at the end of the query it is on purpose and i can't imagine any situation where that space should be ignored in the first place.