Function delete

src/app/workspaceDB.ts:138–147

Delete a workspace and all its table data.

(id: string)

    /** Delete a workspace and all its table data. */
    async delete(id: string): Promise<void> {
        const db = await openDB();
        try {
            const store = txStore(db, 'readwrite');
            await reqToPromise(store.delete(id));
        } finally {
            db.close();
        }
        await tableDataDB.deleteAll(id);
    },

    /** Update only the displayName (used by auto-name, manual rename). */
    async updateDisplayName(id: string, displayName: string): Promise<void> {