Hi @eirannejad,
I’m gonna start making individual script editor topics from now on, as I’ve kinda lost track of the monster feedback topic. Continuing the issues with duplicate highlighting, here are some explicit regressions:
That is:
- Selected text highlighting is barely visible to (to me) and hard to distinguish from duplicate highlighting.
- Duplicate highlighting is barely visible to (to me).
- Duplicate highlighting is not case sensitive (a problem in Python).
- Duplicate spaces are not highlighted (see post).
Best,
Anders