When typing a closing double quote " and not composing a word, a phantom space should not be applied to the typed text.
Moreover, it should be applied only if the "auto space after punctuation" setting is enabled since a double quote is a punctuation.
fixes #840
When typing a closing double quote
"
and not composing a word, a phantom space should not be applied to the typed text. Moreover, it should be applied only if the "auto space after punctuation" setting is enabled since a double quote is a punctuation. fixes #840