From 41b0751a5d35b58d8479ed82cf43acc02e5933bf Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Thu, 6 Sep 2012 13:35:36 +0200 Subject: [PATCH] tweak make output highlighting --- src/rc/make.kak | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/rc/make.kak b/src/rc/make.kak index 8c609464..e68aeeb9 100644 --- a/src/rc/make.kak +++ b/src/rc/make.kak @@ -10,7 +10,7 @@ def -env-params make %{ echo make in progress, please wait...; %sh{ hook global WinSetOption filetype=make %{ addhl group make-highlight - addhl -group make-highlight regex "^([^:\n]+):(\d+):(\d+):\h+(?:(error)|(warning)|(note)|(required from(?: here)?))?[^\n]*" 1:cyan 2:green 3:green 4:red 5:yellow 6:blue 7:yellow + addhl -group make-highlight regex "^([^:\n]+):(\d+):(\d+):\h+(?:((?:fatal )?error)|(warning)|(note)|(required from(?: here)?))?[^\n]*" 1:cyan 2:green 3:green 4:red 5:yellow 6:blue 7:yellow } hook global WinSetOption filetype=(?!make).* %{ rmhl make-highlight; }