2023-05-27 13:19:49 +02:00
|
|
|
var __outputElement = null;
|
|
|
|
|
|
|
|
|
|
function println(s) {
|
|
|
|
|
__outputElement.appendChild(document.createTextNode(s + "\n"));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
document.addEventListener("DOMContentLoaded", function () {
|
|
|
|
|
__outputElement = document.createElement("pre");
|
|
|
|
|
__outputElement.setAttribute("id", "out");
|
|
|
|
|
document.body.appendChild(__outputElement);
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
function test(f) {
|
|
|
|
|
document.addEventListener("DOMContentLoaded", f);
|
2023-09-14 19:17:32 +02:00
|
|
|
window.addEventListener("load", () => {
|
|
|
|
|
internals.signalTextTestIsDone();
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function asyncTest(f) {
|
|
|
|
|
const done = () => internals.signalTextTestIsDone();
|
|
|
|
|
document.addEventListener("DOMContentLoaded", () => {
|
|
|
|
|
f(done);
|
|
|
|
|
});
|
2023-05-27 13:19:49 +02:00
|
|
|
}
|