Spaces before and after punctuations by ctrl+space

Hello! There is such a function: deleting multiple spaces in the text (“ctrl + space” in Windows). Can you add it so that it also removes spaces before punctuation marks. “,” “.” “:” “;” “?” “!” ( if there is a space) and substituted spaces after them (if there is no space, or the next one is not a newline). I also made spaces before and after the “—” sign (if there are none)?

1 Like

Meanwhile, Antidote can handle it, if you really want it / need it, as in “right now”.

Under windows it doesn’t integrate to Scrivener. You have to use Scrivener’s sync to external folder, and use a third party app as host. (LibreOffice, for e.g., to name only this one.)