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