app/static/scripts/editor.js

@@ -348,7 +348,6 @@ if (document.cookie.split(";").some((item) => item.trim().startsWith("auto-previ
 	}
 }
 
-
 let previewTimeout = null;
 let ta = document.querySelector(".editor textarea");
 ta.addEventListener('keydown', function(e) {

app/static/scripts/trigger_menu.js

@@ -46,7 +46,7 @@ let mouse_trigger = function(event) {
 	if(!menu.contains(event.target)) {
 		let active = -1;
 
-		for(i = 0; i < buttons.length; i++) {
+		for(let i = 0; i < buttons.length; i++) {
 			if(buttons[i].contains(event.target))
 				active = i;
 			buttons[i].querySelector('a').blur();