2023-06-02 20:15:10 +01:00
|
|
|
var traceVisible = false;
|
|
|
|
|
|
|
|
function toggletrace() {
|
2024-02-16 22:49:06 +01:00
|
|
|
var traceDiv = document.getElementById("trace");
|
|
|
|
if (!traceVisible) {
|
|
|
|
traceDiv.style.maxHeight = "500px";
|
|
|
|
traceVisible = true;
|
|
|
|
} else {
|
|
|
|
traceDiv.style.maxHeight = "0px";
|
|
|
|
traceVisible = false;
|
|
|
|
}
|
|
|
|
adjustContainerHeight();
|
2023-06-02 20:15:10 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
function copytrace() {
|
2024-02-16 22:49:06 +01:00
|
|
|
var flip = false;
|
|
|
|
if (!traceVisible) {
|
|
|
|
toggletrace();
|
|
|
|
flip = true;
|
|
|
|
}
|
|
|
|
var traceContent = document.getElementById("traceContent");
|
|
|
|
var range = document.createRange();
|
|
|
|
range.selectNode(traceContent);
|
|
|
|
window.getSelection().removeAllRanges();
|
|
|
|
window.getSelection().addRange(range);
|
|
|
|
document.execCommand("copy");
|
|
|
|
window.getSelection().removeAllRanges();
|
|
|
|
if (flip) {
|
|
|
|
toggletrace();
|
|
|
|
}
|
2023-06-02 20:15:10 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
function dismissError() {
|
2024-02-16 22:49:06 +01:00
|
|
|
var errorContainer = document.getElementById("errorContainer");
|
|
|
|
errorContainer.style.display = "none";
|
|
|
|
errorContainer.style.height = "0";
|
2023-06-02 20:15:10 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
function adjustContainerHeight() {
|
2024-02-16 22:49:06 +01:00
|
|
|
var errorContainer = document.getElementById("errorContainer");
|
|
|
|
var traceDiv = document.getElementById("trace");
|
|
|
|
if (traceVisible) {
|
|
|
|
errorContainer.style.height = errorContainer.scrollHeight - traceDiv.scrollHeight + traceDiv.offsetHeight + "px";
|
|
|
|
} else {
|
|
|
|
errorContainer.style.height = "auto";
|
|
|
|
}
|
2023-06-02 20:15:10 +01:00
|
|
|
}
|
|
|
|
function showHelp() {
|
2024-02-16 22:49:06 +01:00
|
|
|
$("#helpModal").modal("show");
|
|
|
|
}
|