Merge branch 'main' into feat/colors

This commit is contained in:
quenousimporte 2023-09-25 16:41:58 +02:00
commit 387a3a8fa6
1 changed files with 0 additions and 8 deletions

View File

@ -27,7 +27,6 @@ var codelanguages = ["xml", "js", "sql"];
var currentnote = null; var currentnote = null;
var fileindex = 0; var fileindex = 0;
var workerid = null; var workerid = null;
var inactivityid = null;
var backup = ""; var backup = "";
var localdata = null; var localdata = null;
var saved = true; var saved = true;
@ -1989,11 +1988,6 @@ function postpone()
}); });
} }
function inactivityalert()
{
alert("Last save was one hour ago. Should you refresh?");
}
function save() function save()
{ {
clearTimeout(workerid); clearTimeout(workerid);
@ -2059,8 +2053,6 @@ function save()
{ {
console.log("...data saved on server"); console.log("...data saved on server");
saved = true; saved = true;
clearTimeout(inactivityid);
inactivityid = setTimeout(inactivityalert, 60 * 60 * 1000);
}) })
.catch(remotecallfailed) .catch(remotecallfailed)
.finally(() => .finally(() =>