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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/3380/1415093905@github.com>