File tree 1 file changed +2
-1
lines changed
components/dashboard/src/user-settings
1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change @@ -14,6 +14,7 @@ import { converter } from "../service/public-api";
14
14
import { isOrganizationOwned } from "@gitpod/public-api-common/lib/user-utils" ;
15
15
import Alert from "../components/Alert" ;
16
16
import { useFeatureFlag } from "../data/featureflag-query" ;
17
+ import { IDESettingsVersion } from "@gitpod/gitpod-protocol/lib/ide-protocol" ;
17
18
18
19
export type IDEChangedTrackLocation = "workspace_list" | "workspace_start" | "preferences" ;
19
20
interface SelectIDEProps {
@@ -50,7 +51,7 @@ export default function SelectIDE(props: SelectIDEProps) {
50
51
additionalData : {
51
52
workspaceAutostartOptions,
52
53
ideSettings : {
53
- settingVersion : "2.1" ,
54
+ settingVersion : IDESettingsVersion ,
54
55
defaultIde : selectedIde ,
55
56
useLatestVersion : useLatestVersion ,
56
57
preferToolbox : preferToolbox ,
You can’t perform that action at this time.
0 commit comments