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.
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.
I don’t really understand why applying formatting via hotkeys doesn’t add extra spaces before and after the selection, but does so when it comes to comments…
Please fix this behavior, or, if for some reason someone needs it, add an option to disable it in the settings.