Skip to content

Commit eed1d00

Browse files
committed
Update types
1 parent a37a5ec commit eed1d00

File tree

2 files changed

+7
-0
lines changed

2 files changed

+7
-0
lines changed

components/gitpod-protocol/go/gitpod-config-types.go

Lines changed: 3 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

components/gitpod-protocol/src/protocol.ts

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -767,6 +767,10 @@ export interface JetBrainsConfig {
767767
rider?: JetBrainsProductConfig;
768768
clion?: JetBrainsProductConfig;
769769
rustrover?: JetBrainsProductConfig;
770+
/**
771+
* List of additonal projects that JetBrains editor would open with
772+
*/
773+
projects?: string[];
770774
}
771775
export interface JetBrainsProductConfig {
772776
prebuilds?: JetBrainsPrebuilds;

0 commit comments

Comments
 (0)