|
From: | Paul Eggert |
Subject: | Re: text-quoting-style |
Date: | Fri, 28 Aug 2015 10:48:10 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 |
Alan Mackenzie wrote:
The reason for its existence still holds. Or is there some other mechanism which achieves the same thing?
I suggested the mechanism of setting the locale, which is needed anyway in an environment that can't display non-ASCII characters. That is, curved quote characters would still be transformed to grave accent and apostrophe in the *Help* buffers, which I think was your main goal; it's just that the text-quoting-style variable wouldn't be needed.
Something like the attached change to the manual, say, with corresponding changes elsewhere.
doc.diff
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |