Avoid displaying prebuild-related workspaces in the workspaces list from JetBrains Gateway

Author: felladrin

components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/entities/Workspace.java

@@ -14,6 +14,8 @@ public class Workspace {
 
     private String creationTime;
 
+    private String type;
+
     public String getId() {
         return id;
     }
@@ -45,4 +47,12 @@ public String getCreationTime() {
     public void setCreationTime(String creationTime) {
         this.creationTime = creationTime;
     }
+
+    public WorkspaceType getType() {
+        return WorkspaceType.valueOf(type);
+    }
+
+    public void setType(WorkspaceType type) {
+        this.type = type.toString();
+    }
 }

components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/entities/WorkspaceType.java

@@ -0,0 +1,10 @@
+// Copyright (c) 2022 Gitpod GmbH. All rights reserved.
+// Licensed under the GNU Affero General Public License (AGPL).
+// See License-AGPL.txt in the project root for license information.
+
+package io.gitpod.gitpodprotocol.api.entities;
+
+public enum WorkspaceType {
+    regular,
+    prebuild
+}

components/ide/jetbrains/gateway-plugin/src/main/kotlin/io/gitpod/jetbrains/gateway/GitpodWorkspacesView.kt

@@ -28,6 +28,7 @@ import com.jetbrains.rd.util.lifetime.isAlive
 import com.jetbrains.rd.util.lifetime.isNotAlive
 import io.gitpod.gitpodprotocol.api.entities.GetWorkspacesOptions
 import io.gitpod.gitpodprotocol.api.entities.WorkspaceInstance
+import io.gitpod.gitpodprotocol.api.entities.WorkspaceType
 import io.gitpod.jetbrains.auth.GitpodAuthService
 import io.gitpod.jetbrains.icons.GitpodIcons
 import kotlinx.coroutines.GlobalScope
@@ -247,7 +248,7 @@ class GitpodWorkspacesView(
                             }
                         }
                     for (info in sortedInfos) {
-                        if (info.latestInstance == null) {
+                        if (info.latestInstance == null || info.workspace.type != WorkspaceType.regular) {
                             continue
                         }
                         indent {
@@ -341,7 +342,9 @@ class GitpodWorkspacesView(
                         thisLogger().error("$gitpodHost: ${update.workspaceId}: failed to sync", t)
                         continue
                     }
-                    workspacesMap[update.workspaceId] = info
+                    if (info.workspace.type == WorkspaceType.regular) {
+                        workspacesMap[update.workspaceId] = info
+                    }
                 } else if (WorkspaceInstance.isUpToDate(info.latestInstance, update)) {
                     continue
                 } else {