Function getAllTabs

frontend/app/store/keymodel.ts:279–281

(ws: Workspace)

}

function getAllTabs(ws: Workspace): string[] {
    return ws.tabids ?? [];
}

function switchTabAbs(index: number) {
    console.log("switchTabAbs", index);