Skip to content

Display Gitpod Logo and Hostname on the top-left NavBar from JetBrains IDEs #9733

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 5, 2022

Conversation

felladrin
Copy link
Contributor

@felladrin felladrin commented May 3, 2022

Description

Display Gitpod Logo and Hostname on the top-left NavBar from JetBrains IDEs.

Note that it won't display "gitpod@" prefixing the hostname when we expand the dropdown.

Note: This PR has 2 commits, which were intentionally left separated. The relevant changes are all on the second commit.

Below you can see two screenshots. Unfortunately I had high ping, so we couldn't see the Gitpod Logo. I'd appreciate if someone with low ping can take a screenshot when running from the Preview Environment.

Before:

image

After:

image

Also, hovering over it, shows a tooltip with the full name:

image

Related Issue(s)

Partially resolves #8192 - We can't completly customize what appears on the dropdown, but just the the text line from below the IDE name. (See screenshots above)

How to test

Open any JetBrains IDE on this Preview Environment and confirm if the text on NavBar is customized.

Release Notes

NONE

Documentation

None.

@felladrin felladrin force-pushed the felladrin/jetbrains-extend-ide-8192 branch from af6f395 to 89e0db1 Compare May 3, 2022 17:20
@felladrin felladrin force-pushed the felladrin/jetbrains-extend-ide-8192 branch from 89e0db1 to 17a9cc3 Compare May 3, 2022 17:22
@felladrin felladrin force-pushed the felladrin/jetbrains-extend-ide-8192 branch from 17a9cc3 to c17dce1 Compare May 4, 2022 14:15
@felladrin felladrin changed the title Display "Gitpod Workspace: <workspace_id>" on the top-left NavBar from JetBrains IDEs Display Gitpod Logo and Hostname on the top-left NavBar from JetBrains IDEs May 4, 2022
Copy link
Member

@akosyakov akosyakov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@roboquat roboquat merged commit 5362e22 into main May 5, 2022
@roboquat roboquat deleted the felladrin/jetbrains-extend-ide-8192 branch May 5, 2022 07:29
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels May 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: IDE IDE change is running in production deployed Change is completely running in production editor: jetbrains release-note-none size/M team: IDE
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

[jetbrains] extend IDE backend label
3 participants