From 8ee4e1ff3f85c7d7cfe50694b74d0a81d8a60049 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 16 Oct 2015 22:30:31 -0400 Subject: [PATCH] highlight: only highlight the given node, not the whole AST Signed-off-by: Jean Privat --- src/highlight.nit | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/src/highlight.nit b/src/highlight.nit index 2a139ee..7bce52d 100644 --- a/src/highlight.nit +++ b/src/highlight.nit @@ -53,8 +53,22 @@ class HighlightVisitor fun enter_visit(n: ANode) do n.parentize_tokens - var s = n.location.file - htmlize(s.first_token.as(not null), s.last_token.as(not null)) + + var f + var l + + if n isa Token then + f = n + l = n + else + assert n isa Prod + f = n.first_token + if f == null then return + l = n.last_token + if l == null then return + end + + htmlize(f, l) end private fun full_tag(anode: ANode, hv: HighlightVisitor): nullable HTMLTag -- 1.7.9.5