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
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.
The text was updated successfully, but these errors were encountered:
(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.)
@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.
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.
The text was updated successfully, but these errors were encountered: