quickload pause toggle
This commit is contained in:
parent
3131472a3d
commit
7dec7bfcd0
|
|
@ -192,6 +192,9 @@ try {
|
||||||
if(pause) {
|
if(pause) {
|
||||||
paused = true;
|
paused = true;
|
||||||
document.getElementById("pauseButton").setAttribute("on","true");
|
document.getElementById("pauseButton").setAttribute("on","true");
|
||||||
|
} else {
|
||||||
|
paused = false;
|
||||||
|
document.getElementById("pauseButton").setAttribute("on","false");
|
||||||
};
|
};
|
||||||
return true;
|
return true;
|
||||||
};
|
};
|
||||||
|
|
@ -378,22 +381,22 @@ try {
|
||||||
return true;
|
return true;
|
||||||
};
|
};
|
||||||
|
|
||||||
var saveLoaderDescription = `<div>
|
var saveLoaderDescription = `<div>
|
||||||
<span id="downloadButton" onclick=savePrompt() style="color: #FF00FF;">Download simulation</span>
|
<span id="downloadButton" onclick=savePrompt() style="color: #FF00FF;">Download simulation</span>
|
||||||
<span id="copyButton" onClick=copySaveJSON() style="color: #FF66FF;">Alternatively, copy simulation JSON</span>
|
<span id="copyButton" onClick=copySaveJSON() style="color: #FF66FF;">Alternatively, copy simulation JSON</span>
|
||||||
|
|
||||||
<span id="fileFormStatus">No file loader status</span>
|
<span id="fileFormStatus">No file loader status</span>
|
||||||
One file, please: <input type="file" name="Save upload button" id="myfile">
|
One file, please: <input type="file" name="Save upload button" id="myfile">
|
||||||
<button id="loadButton" onclick=loadFile() style="color: #FF00FF;">Load File</button>
|
<button id="loadButton" onclick=loadFile() style="color: #FF00FF;">Load File</button>
|
||||||
<span>Or paste JSON</span>
|
<span>Or paste JSON</span>
|
||||||
<span id="textFormStatus">No text loader status</span>
|
<span id="textFormStatus">No text loader status</span>
|
||||||
<input name="Text load field" id="mytext">
|
<input name="Text load field" id="mytext">
|
||||||
<button id="textLoadButton" onclick=loadText() style="color: #FF66FF;">Load Text</button>
|
<button id="textLoadButton" onclick=loadText() style="color: #FF66FF;">Load Text</button>
|
||||||
|
|
||||||
<span id="pixelSizeStatus">No size setter status</span>
|
<span id="pixelSizeStatus">No size setter status</span>
|
||||||
Pixel size (rendering only): <input id="pixelSize"> (Use if the save looks cut off)
|
Pixel size (rendering only): <input id="pixelSize"> (Use if the save looks cut off)
|
||||||
<button id="sizeButton" onclick=setPixelSize() style="color: #FF00FF;">Set pixel size</button>
|
<button id="sizeButton" onclick=setPixelSize() style="color: #FF00FF;">Set pixel size</button>
|
||||||
</div>`;
|
</div>`;
|
||||||
|
|
||||||
elements.save_loader = {
|
elements.save_loader = {
|
||||||
behavior: behaviors.SELFDELETE,
|
behavior: behaviors.SELFDELETE,
|
||||||
|
|
@ -433,6 +436,7 @@ try {
|
||||||
statsDiv.innerHTML = stats;
|
statsDiv.innerHTML = stats;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
quickloadIsPaused = true;
|
||||||
//Element-based quicksave toggle has proven impossible due to numerous irreparable illogic incidents, so have some buttons instead
|
//Element-based quicksave toggle has proven impossible due to numerous irreparable illogic incidents, so have some buttons instead
|
||||||
var qsb = document.createElement("button");
|
var qsb = document.createElement("button");
|
||||||
qsb.setAttribute("id","quicksaveButton");
|
qsb.setAttribute("id","quicksaveButton");
|
||||||
|
|
@ -442,9 +446,21 @@ try {
|
||||||
qsb.after(document.createTextNode(String.fromCharCode(160)));
|
qsb.after(document.createTextNode(String.fromCharCode(160)));
|
||||||
var qlb = document.createElement("button");
|
var qlb = document.createElement("button");
|
||||||
qlb.setAttribute("id","quickloadButton");
|
qlb.setAttribute("id","quickloadButton");
|
||||||
qlb.setAttribute("onclick","clearAll(); quickload()");
|
qlb.setAttribute("onclick","clearAll(); quickload(quickloadIsPaused ?? true)");
|
||||||
qlb.innerText = "Quickload";
|
qlb.innerText = "Quickload";
|
||||||
document.getElementById("gameDiv").before(qlb);
|
document.getElementById("gameDiv").before(qlb);
|
||||||
|
qlb.after(document.createTextNode(String.fromCharCode(160,160)));
|
||||||
|
var qpc = document.createElement("input");
|
||||||
|
qpc.setAttribute("type","checkbox");
|
||||||
|
qpc.setAttribute("id","quickloadPausedInput");
|
||||||
|
qpc.setAttribute("onchange","quickloadIsPaused = this.checked;");
|
||||||
|
qpc.checked = true;
|
||||||
|
var qpcd = document.createElement("span");
|
||||||
|
qpcd.setAttribute("id","quickloadPausedInputLabel");
|
||||||
|
qpcd.innerText = "Pause after quickloading?";
|
||||||
|
document.getElementById("gameDiv").before(qpc);
|
||||||
|
qpc.after(document.createTextNode(String.fromCharCode(160)));
|
||||||
|
document.getElementById("gameDiv").before(qpcd);
|
||||||
document.getElementById("gameDiv").before(document.createElement("br"));
|
document.getElementById("gameDiv").before(document.createElement("br"));
|
||||||
|
|
||||||
quickSlDetectorLastKeys = [];
|
quickSlDetectorLastKeys = [];
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue