Actually, `grep --color=always` gives you exactly the information that would be needed for this. The matched characters would be surrounded by `\033[0;31m` and `\033[0m`. But relying on this would be hacky at best and could easily break with various grep implementations.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3380#issuecomment-1415093905 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3380/[email protected]>
