Hi Ingo, On Tue, Apr 12, 2016 at 08:39:07PM +0200, Ingo Schwarze wrote: > Hi Mark, > > Mark Lumsden wrote on Tue, Apr 12, 2016 at 06:47:40PM +0000: > > > This diff allows a single space for sentence delimitation. > > ok/comments/objections? > > No objection, but a comment. Note that *using* the option is > destructive. Once you have replaced double spaces at the ends > of sentences with single spaces, there is no algorithm short of > computer linguistics that can take you back, because with that > change, abbreviations become indistinguishable from full stops. >
You are correct though there is "undo". > You might or might not want to mention that in the manual - > depending on whether you consider it more important to prevent > people from hurting themselves or to keep the manual concise. > I think conciseness is more important here. Thanks for the comments. mark
