nitc :: HtmlightVisitor :: _show_infobox
If false
, only a simple title
tooltip is used.
default: true
# When highlighting a node, attach a full popupable infobox, if any.
#
# If `false`, only a simple `title` tooltip is used.
#
# default: true
var show_infobox = true is writable
src/htmlight.nit:96,2--101,36