bug#24710: 26.0.50; Feature request: Replace double quotes in electric-quote-mode

[Philipp Stephani]

Paul Eggert <eggert@cs.ucla.edu> schrieb am Mo., 24. Juli 2017 um 09:55 Uhr:

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’.

OK, here's an updated patch. 

0001-Electric-quote-mode-Conditionally-replace-Bug-24710.txt
Description: Text document