highlight: add two configuration, show_messages and show_infobox
authorJean Privat <jean@pryen.org>
Fri, 10 Jun 2016 18:10:15 +0000 (14:10 -0400)
committerJean Privat <jean@pryen.org>
Fri, 10 Jun 2016 18:10:15 +0000 (14:10 -0400)
commitad17c1c8138c50ed83bbea4ab6e1319e9c26f927
treeaec51f42dac0ca7cdd4e999f687179c0a42e0636
parentfcbcf246aa44be3a927b210e9d26077cbe595f63
highlight: add two configuration, show_messages and show_infobox

Signed-off-by: Jean Privat <jean@pryen.org>
src/highlight.nit