Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add all zero-width characters #16

Open
varkor opened this issue May 22, 2018 · 2 comments
Open

Add all zero-width characters #16

varkor opened this issue May 22, 2018 · 2 comments

Comments

@varkor
Copy link

varkor commented May 22, 2018

In general, it seems that zero-width characters are a mistake (e.g. #13). I recently had an issue with U+0001. It would be nice if all these characters were highlighted, rather than a select few.

@myfonj
Copy link

myfonj commented Feb 12, 2019

+1. Just ran into some stray variation selector (https://graphemica.com/FE0F) in JS string literal.


(Found it quite easily thanks another ext: Unicode code point of current character, but the murky feeling this otherwise trusted anti-gremlin ext let me down prevails.)

@nhoizey
Copy link
Owner

nhoizey commented Apr 15, 2019

@varkor @myfonj hello, sorry for the very late answer, trying to catch up on all opened issues.

These would be useful indeed, but I would like to make Gremlins easily configurable before, so that people have the opportunity to decide which characters to look for.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants