From 2281bc49061cbcdb33b3e6ef91c5735c09403d9a Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Thu, 23 Jun 2016 14:15:51 -0400
Subject: [PATCH] nitlight_aas: register and clean line widgets.

Signed-off-by: Jean Privat <jean@pryen.org>
---
 src/examples/nitlight_as_a_service.nit |    7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/examples/nitlight_as_a_service.nit b/src/examples/nitlight_as_a_service.nit
index 7007b70..808837a 100644
--- a/src/examples/nitlight_as_a_service.nit
+++ b/src/examples/nitlight_as_a_service.nit
@@ -85,12 +85,18 @@ class HLCode
 		res.add """
 	function nitmessage() {
 		editor.operation(function(){
+			for (var i = 0; i < widgets.length; ++i)
+			      editor.removeLineWidget(widgets[i]);
+			widgets.length = 0;
+"""
+
 		for m in source.messages do
 			res.add """
 			var l = document.createElement("div");
 			l.className = "lint-error"
 			l.innerHTML = "<span class='glyphicon glyphicon-warning-sign lint-error-icon'></span> {{{m.text.html_escape}}}";
 			var w = editor.addLineWidget({{{m.location.line_start-1}}}, l);
+			widgets.push(w);
 """
 		end
 		res.add """});}"""
@@ -161,6 +167,7 @@ class HighlightAction
 			page.add "function nitmessage()\{\}"
 		end
 		page.add """
+		var widgets = [];
 		nitmessage();
 
 		</script>
-- 
1.7.9.5