diff core.js @ 127:4ce9f5887eee

Bug #1235: Slider, slider objects and scale markings are adjusted on window resize.

--- a/core.js	Wed May 27 10:16:04 2015 +0100
+++ b/core.js	Wed May 27 11:49:20 2015 +0100
@@ -263,6 +263,9 @@
 		document.getElementsByTagName("head")[0].appendChild(css);
 	}
 	document.getElementsByTagName("head")[0].appendChild(interfaceJS);
+	
+	// Define window callbacks for interface
+	window.onresize = function(event){resizeWindow(event);};
 }
 
 function createProjectSave(destURL) {