deleteEntry(entryID: EntryID) {
        const ind = this.source.e.findIndex((entry) => entry.id === entryID);
        if (ind >= 0) {
            this.source.e.splice(ind, 1);
            this.source.del.e[entryID] = Date.now();