Closing quote after non-alphanumeric character


#1

Typing a quote or double quote at the end of a string does the right thing if the string’s last character is alphanumeric; it outputs two quotes (or double quotes) otherwise.


#2

Looks like that’s a bug in the bracker-matcher package. Could you open up an issue there? Thanks for reporting this!