Hi Charaka,
Could you please clear the browser history and check at your end? Still if you face issues, could you please replace the below code example in your sample and it is an workaround solution. However we are checking your issue in the Edge browser 40.15063.0.0 at our end and will update you the permanent solution once we test it in Edge browser.
Code example:
Methods.js
function updateSize() {
var width = (window.innerWidth - $("#main-left").width()-100);
. . . .
. . .
}
function setDiagramSize(showpropeditor) {
var width = (window.innerWidth - $("#main-left").width()-100);
. . . .
. . .
}
Regards,
Shyam G