Update git if data change, hide on click, -31px

This commit is contained in:
Matt Pass
2019-10-06 14:01:38 +01:00
committed by GitHub
parent 3c2092d270
commit 546052ee73

View File

@@ -159,19 +159,20 @@ var ICEcoder = {
if (data.timestamps.changed) {
top.ICEcoder.indexData = data;
}
// If we have git diff data
if (data.git) {
top.ICEcoder.indexData.git = data.git;
var gitContent = "";
for (var i=0; i<top.ICEcoder.indexData.git.paths.length; i++) {
gitContent +=
'<div style="font-family: monospace" onclick="top.ICEcoder.openFile(\'/' +
top.ICEcoder.indexData.git.paths[i] +
"')\">" +
top.ICEcoder.indexData.git.paths[i] +
"</div>" +
"\n";
top.get("git").innerHTML = gitContent;
// If we have git diff data
if (data.git) {
top.ICEcoder.indexData.git = data.git;
var gitContent = "";
for (var i=0; i<top.ICEcoder.indexData.git.paths.length; i++) {
gitContent +=
'<div style="font-family: monospace" onclick="top.ICEcoder.toolShowHideToggle(\'git\'); top.ICEcoder.openFile(\'/' +
top.ICEcoder.indexData.git.paths[i] +
"')\">" +
top.ICEcoder.indexData.git.paths[i] +
"</div>" +
"\n";
top.get("git").innerHTML = gitContent + "<br><br>";
}
}
}
top.ICEcoder.indexing = false;
@@ -212,9 +213,9 @@ var ICEcoder = {
if (!dontSetEditor) {
this.editor.style.width = ICEcoder.content.style.width = (winW-this.filesW) - 200 + "px";
ICEcoder.terminal.style.width = (winW-this.filesW) + "px";
ICEcoder.output.style.width = (winW-this.filesW) + "px";
ICEcoder.output.style.width = (winW-this.filesW-31) + "px";
ICEcoder.database.style.width = (winW-this.filesW) + "px";
ICEcoder.git.style.width = (winW-this.filesW) + "px";
ICEcoder.git.style.width = (winW-this.filesW-31) + "px";
ICEcoder.content.style.height = (winH-headerH-tabsBarH-findBarH-26) + "px";
ICEcoder.terminal.style.height = winH + "px";
ICEcoder.output.style.height = winH + "px";