change workspace id super nit (#5354)

This commit is contained in:
HugoCasa
2025-02-21 20:02:13 +01:00
committed by GitHub
parent 19a0cde133
commit a54d8236a8
@@ -41,6 +41,7 @@
new_id: newId
}
})
open = false
sendUserToast(`Renamed workspace to ${newName}. Reloading...`)
await new Promise((resolve) => setTimeout(resolve, 1000))
@@ -49,7 +50,6 @@
sendUserToast(`Error renaming workspace: ${err}`, true)
} finally {
loading = false
open = false
}
}