},
replay: function () {
+ document.getElementById("tasks")!.style.display = "none";
while (true) {
const entry = window.localStorage.getItem(`${prefix}${next_log_index}`);
if (entry === null) {
this.apply(entry);
next_log_index++;
}
+ document.getElementById("tasks")!.style.display = "";
},
};
}