From: Jean Privat Date: Mon, 13 Jun 2016 16:04:24 +0000 (-0400) Subject: Merge: hightlight: improve infrastructure X-Git-Url: http://nitlanguage.org Merge: hightlight: improve infrastructure infoboxes that popup where broken some time ago. This PR fix them and add two toggle for clients. * `show_messages` to underline tokens and show error messages (or not) * `show_infobox` to attach (or not) popupable infoboxes (those that where broken). demo is available http://info.uqam.ca/~privat/tmp/nitlight/ Note: the UI is still terrible, but I have no better idea than these ugly popups to present complex contextual information. Pull-Request: #2180 Reviewed-by: Alexandre Terrasa --- a02132e04f421f9c040b6c96d7c9446978c0ee33