gitpod-io
diff --git a/‎components/gitpod-protocol/go/gitpod-config-types.go‎
Lines changed: 3 additions & 0 deletions b/‎components/gitpod-protocol/go/gitpod-config-types.go‎
Lines changed: 3 additions & 0 deletions
diff --git a/‎components/gitpod-protocol/src/protocol.ts‎
Lines changed: 1 addition & 0 deletions b/‎components/gitpod-protocol/src/protocol.ts‎
Lines changed: 1 addition & 0 deletions
@@ -771,6 +771,7 @@ export interface JetBrainsConfig {
 export interface JetBrainsProductConfig {
     prebuilds?: JetBrainsPrebuilds;
     vmoptions?: string;
+    projects: string[];
 }
 export interface JetBrainsPrebuilds {
     version?: "stable" | "latest" | "both";
Original file line number	Diff line number	Diff line change
`@@ -771,6 +771,7 @@ export interface JetBrainsConfig {`
`771`	`771`	`export interface JetBrainsProductConfig {`
`772`	`772`	`prebuilds?: JetBrainsPrebuilds;`
`773`	`773`	`vmoptions?: string;`
	`774`	`+ projects: string[];`
`774`	`775`	`}`
`775`	`776`	`export interface JetBrainsPrebuilds {`
`776`	`777`	`version?: "stable" \| "latest" \| "both";`