call render() again after render bouncer timer has elapsed

This is necessary so that the GUI really shows the latest data from server
after the timer has elapsed.

Also add some other minor fixes.

webroot/js/gui.js

@@ -16,7 +16,6 @@ let init = false,
 
 function renderView () {
 	if (!document.body) {
-		window.setTimeout(renderView, GUI_RENDER_DEBOUNCER_TIME);
 		return;
 	}
 
@@ -36,19 +35,25 @@ function renderView () {
 	router.resolve();
 }
 
-export function render () {
-	let timeout = false;
 
-	function reset () {
+let renderDebounceTimer = null,
-		timeout = null;
+	numRenderCallsSkipped = 0;
-	}
+
-	if (timeout) {
+export function render () {
-			console('skip rendering to often');
+	if (renderDebounceTimer == null) {
-			window.clearTimeout(timeout);
-	}else{
 		renderView();
+		renderDebounceTimer = window.setTimeout(() => {
+			renderDebounceTimer = null;
+			if (numRenderCallsSkipped > 0) {
+				console.log("skipped " + numRenderCallsSkipped + " render calls; calling render() now");
+				numRenderCallsSkipped = 0;
+				render();
+			}
+		}, GUI_RENDER_DEBOUNCER_TIME);
+	} else {
+		console.log("skip rendering");
+		numRenderCallsSkipped++;
 	}
-	timeout = window.setTimeout(reset, GUI_RENDER_DEBOUNCER_TIME);
 }
 
 export function setView (toView) {