You either pre-process your files to strip some characters, or write a plugin that either does this or use the character representation API to hide the ranges you don't like.
However non-ASCII is pretty much everywhere nowadays (thankfully most of it is Unicode, so at least it's not all encoding nonsense), so you probably will have to live with it. Yet, you could use one I'd the above options to "clean" some files when you want. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/discussions/4584#discussioncomment-17288426 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/repo-discussions/4584/comments/[email protected]>
