Closed alexisargyris closed 9 years ago
This can be fixed in quotes.js. I'll look into it later.
i'd like to help but it looks a bit overwhelming...
On Tue, Aug 18, 2015 at 11:58 PM, David Merfield notifications@github.com wrote:
This can be fixed in quotes.js https://github.com/davidmerfield/Typeset/blob/master/src/quotes.js#L14. I'll look into it later.
— Reply to this email directly or view it on GitHub https://github.com/davidmerfield/Typeset/issues/10#issuecomment-132348647 .
When double quotes are followed by a punctuation mark (e.g. comma or period), they are rendered as opening, instead of closing, double quotes.