I think the way to fix this is something like:
sentence_ending_punctuation = ['.', '!', '?', '…']
When someone types two spaces in a row {
if (auto punctuation is turned on) {
last_letter_position = the position of the last character in Unicode’s
“Letter” category
trailing_punctuation = the string between the last_letter_position and
the first space
if trailing_punctuation contains none of the characters from
sentence_ending_punctuation {
replace the last space with a period
}
}
}
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1579083
Title:
Typing two spaces after sentence-ending punctuation inserts a mistaken
period (full stop)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-keyboard/+bug/1579083/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
