highlight: add infoboxes with messages
authorJean Privat <jean@pryen.org>
Wed, 8 Apr 2015 05:22:11 +0000 (12:22 +0700)
committerJean Privat <jean@pryen.org>
Wed, 8 Apr 2015 16:10:49 +0000 (23:10 +0700)
commite9f915e1a6613ca9cfd07f85362dc075c6012fdd
tree14bffcf246882705ae29f9348d615ffacb8fce03
parent2e7b9dfa73590496fb56473e345262f56c8f4714
highlight: add infoboxes with messages

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