2017-06-15 03:19:52 +02:00
|
|
|
/* Log Box */
|
|
|
|
|
|
|
|
//Close box when clicking outside
|
2017-06-17 04:53:57 +02:00
|
|
|
/*
|
2017-06-15 03:19:52 +02:00
|
|
|
$(document).click(function(event) {
|
|
|
|
if (logBoxOpened) {
|
|
|
|
if ( $(event.target).closest("#log-box-container").get(0) == null ) {
|
|
|
|
logBoxClose();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
2017-06-17 04:53:57 +02:00
|
|
|
*/
|
2017-06-15 03:19:52 +02:00
|
|
|
|
|
|
|
function logBoxInit() {
|
|
|
|
var closeButton = document.getElementById("log-box-close");
|
|
|
|
logBoxClose();
|
|
|
|
|
|
|
|
//Close Dialog box
|
|
|
|
closeButton.addEventListener("click", function() {
|
|
|
|
logBoxClose();
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
};
|
|
|
|
|
|
|
|
document.addEventListener("DOMContentLoaded", logBoxInit, false);
|
|
|
|
|
|
|
|
logBoxClose = function() {
|
|
|
|
logBoxOpened = false;
|
|
|
|
var logBox = document.getElementById("log-box-container");
|
|
|
|
logBox.style.display = "none";
|
|
|
|
}
|
|
|
|
|
|
|
|
logBoxOpen = function() {
|
|
|
|
logBoxOpened = true;
|
|
|
|
|
|
|
|
var logBox = document.getElementById("log-box-container");
|
|
|
|
logBox.style.display = "block";
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
var logBoxOpened = false;
|
|
|
|
var logBoxCurrentScript = null;
|
|
|
|
//ram argument is in GB
|
|
|
|
logBoxCreate = function(script) {
|
|
|
|
logBoxCurrentScript = script;
|
|
|
|
logBoxOpen();
|
|
|
|
logBoxUpdateText();
|
|
|
|
}
|
|
|
|
|
|
|
|
logBoxUpdateText = function() {
|
|
|
|
var txt = document.getElementById("log-box-text");
|
|
|
|
if (logBoxCurrentScript && logBoxOpened && txt) {
|
|
|
|
txt.innerHTML = logBoxCurrentScript.filename + ":<br>";
|
|
|
|
for (var i = 0; i < logBoxCurrentScript.logs.length; ++i) {
|
|
|
|
txt.innerHTML += logBoxCurrentScript.logs[i];
|
|
|
|
txt.innerHTML += "<br>";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|