Just a note that British-English often uses quotes the same way as the US. It
is only in books that we use single outer quotes. Newspapers and the BBC often
use double quotes. Headlines however use single quotes, though here they could
just be typed manually.
https://en.wikipedia.org/wiki/Comparison_of_American_and_British_English#Quoting
It might be appropriate to have the quote setting to be a separate choice from
the language, or have two options for en-GB (or we'd just use the US settings,
but I am not sure if it affects more than the quotations).
Also, how should the user handle things like 36"? Use a quotation mark and it
affects following quotes, use a double prime and LaTeX throws an error about
unicode.
On Saturday, 3 October 2015, 8:30, Nicolas Goaziou <[email protected]>
wrote:
Rasmus <[email protected]> writes:
> Nicolas Goaziou <[email protected]> writes:
>> Also, I think it would be clearer to rename `opening-double-quote' to
>> `opening-primary-quote' and `opening-single-quote' to
>> `opening-secondary-quote'. WDYT?
>
> In fact, I thought they needed renaming as well in light of the
> redefinition of " and '.
I renamed `opening-double-quote' to `primary-opening' and
`opening-closing-quote' to `secondary-opening'. Ditto for closing parts.
Regards,
