chore: bump version to 2023.4.3

This commit is contained in:
Andrew Bastin
2023-05-11 16:50:49 +05:30
parent 4a0205e622
commit d6c8400116
5 changed files with 10 additions and 14 deletions

View File

@@ -150,16 +150,12 @@ const workspace = useReadonlyStream(workspaceStatus$, { type: "personal" })
// Used to switch environment type and team when user switch workspace in the global workspace switcher
// Check if there is a teamID in the workspace, if yes, switch to team environment and select the team
// If there is no teamID, switch to my environment
watch(workspace, (newWorkspace, oldWorkspace) => {
// If we are switching into personal from outside
if (newWorkspace.type === "personal" && oldWorkspace.type !== "personal") {
// If the selected environment is not a my environment, turn off the env
if (selectedEnvironmentIndex.value.type !== "MY_ENV") {
switchToMyEnvironments()
setSelectedEnvironmentIndex({
type: "NO_ENV_SELECTED",
})
}
watch(workspace, (newWorkspace) => {
if (newWorkspace.type === "personal") {
switchToMyEnvironments()
setSelectedEnvironmentIndex({
type: "NO_ENV_SELECTED",
})
} else if (newWorkspace.type === "team") {
const team = myTeams.value?.find((t) => t.id === newWorkspace.teamID)
updateSelectedTeam(team)