You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Looks like the filter in the tools.py only works with first 2 keys, "typography.symbols.curly_quotes": false, won't work, and this "typography.symbols": false, should work
It would be great if we could have more control over what rules to ignore.
The text was updated successfully, but these errors were encountered:
In #491, @netflash pointed out that:
It would be great if we could have more control over what rules to ignore.
The text was updated successfully, but these errors were encountered: