Set top positions for tools on resize

This commit is contained in:
Matt Pass
2019-09-14 21:41:11 +01:00
committed by GitHub
parent 12777521e0
commit c94f3c532d

View File

@@ -198,6 +198,13 @@ var ICEcoder = {
ICEcoder.output.style.height = winH + "px";
ICEcoder.database.style.height = winH + "px";
ICEcoder.git.style.height = winH + "px";
ICEcoder.terminal.style.top = winH + "px";
ICEcoder.output.style.top = winH + "px";
ICEcoder.database.style.top = winH + "px";
ICEcoder.git.style.top = winH + "px";
if (top.ICEcoder.showingTool !== false) {
get(top.ICEcoder.showingTool).style.top = 0;
}
// Resize the CodeMirror instances to match the window size
setTimeout(function(){