Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Add project name to launch tab #695

Closed
renegadels opened this issue Feb 20, 2022 · 2 comments
Closed

Add project name to launch tab #695

renegadels opened this issue Feb 20, 2022 · 2 comments
Assignees
@willeastcott
Labels
area: editor interface

Comments

@renegadels
Copy link

renegadels commented Feb 20, 2022 •
edited
Loading

Hello team,

I feel it would be beneficial to add the project name to the title of the launch tab, just like Editor or Code Editor. For example -

image

That way, if we have multiple launch tabs from different projects open, it would help us differentiate between them.
@willeastcott willeastcott self-assigned this Feb 21, 2022
@willeastcott
Copy link
Contributor

willeastcott commented Feb 21, 2022 •
edited
Loading

Great suggestion! I've submitted a fix for this. Hopefully it can be deployed in the next few days.

@yaustar
Copy link
Collaborator

yaustar commented Mar 2, 2022

released in 1.21.29

@yaustar yaustar closed this as completed Mar 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@willeastcott willeastcott

Labels
area: editor interface
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@willeastcott @yaustar @renegadels