highlight: add HighlightVisitor::line_id_prefix to control ids of line spans
authorJean Privat <jean@pryen.org>
Tue, 16 Dec 2014 13:57:05 +0000 (08:57 -0500)
committerJean Privat <jean@pryen.org>
Wed, 17 Dec 2014 04:43:29 +0000 (23:43 -0500)
commit731d0736f8dd1f12e5d246c2655355382734c6f4
tree382ffdb4a142b0e1a58e6f05738c1c45ac2e79bd
parent35cdc39953b514aa4f0b8cd20078078369b834f7
highlight: add HighlightVisitor::line_id_prefix to control ids of line spans

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