Display "Gitpod Workspace: <WORKSPACE_ID>" on the top-left NavBar from JetBrains IDEs

Author: felladrin

components/ide/jetbrains/backend-plugin/gradle.properties

@@ -12,7 +12,7 @@ pluginUntilBuild=221.*
 pluginVerifierIdeVersions=2021.3, 2022.1
 # IntelliJ Platform Properties -> https://github.com/JetBrains/gradle-intellij-plugin#intellij-platform-properties
 platformType=IU
-platformVersion=221.4994-EAP-CANDIDATE-SNAPSHOT
+platformVersion=221-EAP-SNAPSHOT
 platformDownloadSources=true
 # Plugin Dependencies -> https://plugins.jetbrains.com/docs/intellij/plugin-dependencies.html
 # Example: platformPlugins = com.intellij.java, com.jetbrains.php:203.4449.22

components/ide/jetbrains/backend-plugin/src/main/kotlin/io/gitpod/jetbrains/remote/GitpodGatewayClientCustomizationProvider.kt

@@ -0,0 +1,28 @@
+// 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.jetbrains.remote
+
+import com.jetbrains.rdserver.unattendedHost.customization.GatewayClientCustomizationProvider
+import com.jetbrains.rdserver.unattendedHost.customization.controlCenter.DefaultGatewayControlCenterProvider
+import com.jetbrains.rdserver.unattendedHost.customization.controlCenter.GatewayControlCenterProvider
+import com.jetbrains.rdserver.unattendedHost.customization.controlCenter.GatewayHostnameDisplayKind
+import io.gitpod.jetbrains.remote.icons.GitpodIcons
+import javax.swing.Icon
+
+class GitpodGatewayClientCustomizationProvider : GatewayClientCustomizationProvider {
+    override val icon: Icon = GitpodIcons.Logo
+    override val title: String = "Gitpod Workspace"
+
+    override val controlCenter: GatewayControlCenterProvider = object : GatewayControlCenterProvider {
+        override fun getHostnameDisplayKind() = GatewayHostnameDisplayKind.ShowHostnameOnNavbar
+        override fun getHostnameShort() = if (System.getenv("GITPOD_WORKSPACE_ID") != null) {
+            title + ": " + System.getenv("GITPOD_WORKSPACE_ID")
+        } else {
+            title
+        }
+        override fun getHostnameLong() = getHostnameShort()
+    }
+}
+

components/ide/jetbrains/backend-plugin/src/main/resources/META-INF/plugin.xml

@@ -28,6 +28,7 @@
         <projectService serviceImplementation="io.gitpod.jetbrains.remote.GitpodClientProjectSessionTracker" client="guest" preload="true"/>
         <projectService serviceImplementation="io.gitpod.jetbrains.remote.GitpodTerminalService" preload="true"/>
         <projectService serviceImplementation="io.gitpod.jetbrains.remote.GitpodProjectManager" preload="true"/>
+        <gateway.customization.name implementation="io.gitpod.jetbrains.remote.GitpodGatewayClientCustomizationProvider"/>
     </extensions>
 
 </idea-plugin>