|
From: | Paul Eggert |
Subject: | bug#24710: 26.0.50; Feature request: Replace double quotes in electric-quote-mode |
Date: | Mon, 24 Jul 2017 00:55:13 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 |
Philipp Stephani wrote:
OK, here's a patch.
Thanks. I don’t see the point of the non-context-sensitive version. That is, if ‘"’ is supposed to be replaced by a curved double-quote, then I don’t see the point of having a mode where ‘"’ is always replaced by closing double quote. That does not seem useful for English, anyway.
In the NEWS item, just say ‘"’ instead of ‘double quote’ or ‘double ASCII quote’.
[Prev in Thread] | Current Thread | [Next in Thread] |