more lint fixes

2019-05-29 18:23:29 +01:00
parent 8a49b1e80e
commit bf473f6d51
36 changed files with 107 additions and 101 deletions
--- a/ext/tagger/script.js
+++ b/ext/tagger/script.js
@ -57,7 +57,7 @@ var Tagger = {
 			}
 		} else if (text) {
 			// create
-			var t_alert = document.createElement("div");
+			t_alert = document.createElement("div");
 			t_alert.setAttribute("id",id);
 			t_alert.appendChild(document.createTextNode(text));
 			this.editor.statusbar.appendChild(t_alert);