When formatting some text as comment ‘%% ’ and ’ %%’ are added to the beginning and the end respectively, creating two new spaces. And if the comment formatting is removed later, these two extra spaces remain.
Proposed solution
When formatting ‘%%’ should be added at the beginning and the end of the text, without these extra spaces.
While I agree the spaces needn’t stay after removing the comment with the shortcut, I do think they should be there when the comment is added, they should just also be removed again afterwards.
I’d say if a space is present, remove it, if not, only remove the percentage signs.