[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#37141: 27.0.50; spelling doesn't work in XML comments

From: Eli Zaretskii
Subject: bug#37141: 27.0.50; spelling doesn't work in XML comments
Date: Thu, 22 Aug 2019 17:53:25 +0300

> Date: Thu, 22 Aug 2019 16:29:42 +0200
> From: Vincent Lefevre <address@hidden>
> Cc: address@hidden
> > We don't document every obscure feature in the manual, that would make
> > it too large.  Some user options are left out.  I don't see why this
> > one is important enough to add it, sorry.
> That's not an obscure feature.

We will have to disagree on that, I think.

> The default is actually very silly.

It's a defcustom so that everyone who thinks the default is silly
could change it to their liking.

> There's no reason to exclude XML comments by default.

Maybe we have a missing feature, then.

> A user who does not know this variable and what it does will never
> find it.

I didn't know about it, and yet found it in about 10 sec.

> Moreover, the doc string makes no sense. People should learn how to
> write good documentation.

I hope I learned, now ;-)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]