Martin Vermeer wrote: > As in the attached. This makes it possible to enable autocorrection in the > preferences file.
would it be possible to add some list of autocorrected things into some of our manual? it may be worth to add checkbox into preferences gui. pavel