Last opened page is now stored (solves #166) #178

Merged
bema merged 15 commits from bema/exp/remember_last_page into master 2023-05-09 15:12:59 +02:00
Showing only changes of commit 8107f9ed7a - Show all commits

View File

@@ -10,8 +10,8 @@ const tools = new Map();
* @returns {void} * @returns {void}
*/ */
function importScript(url) { function importScript(url) {
var script = document.createElement("script"); // create a script DOM node var script = document.createElement("script");
script.src = url; // set its src to the provided URL script.src = url;
document.head.appendChild(script); document.head.appendChild(script);
} }