When highlighting a node, attach a full popupable infobox, if any.

If false, only a simple title tooltip is used.

default: true

Property definitions

nitc $ HtmlightVisitor :: _show_infobox
	# 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