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

✨ Use terminal title as the terminal tab title #1298

Closed
austincondiff opened this issue Jun 5, 2023 · 1 comment · Fixed by #1302
Closed

✨ Use terminal title as the terminal tab title #1298

austincondiff opened this issue Jun 5, 2023 · 1 comment · Fixed by #1302
Assignees
@Cubik65536
Labels
enhancement New feature or request

Comments

@austincondiff
Copy link
Collaborator

austincondiff commented Jun 5, 2023 •
edited
Loading

Description

Currently, each terminal tab is labeled "terminal". It can be renamed, however we should default to the terminal title which typically indicates the current running process.

When this title is updated, the tab should reflect the updated title, unless the tab has previously been renamed.

When renaming the tab, we should use the custom title instead of terminal title.

Additional Context

I posted a discussion on the SwiftTerm repo here.

Screenshots

image
@austincondiff austincondiff added the enhancement New feature or request label Jun 5, 2023
@austincondiff austincondiff moved this from 🆕 New to 📋 Todo in CodeEdit Project Jun 5, 2023
@Cubik65536
Copy link
Contributor

I'm working on this issue, would you assign this to me? @austincondiff

image

@Cubik65536 Cubik65536 mentioned this issue Jun 7, 2023
Merged
13 tasks
@github-project-automation github-project-automation bot moved this from 📋 Todo to 🏁 Complete in CodeEdit Project Jun 14, 2023
bombardier200 pushed a commit that referenced this issue Jun 14, 2023
@Cubik65536
feat: Use terminal title as the terminal tab title (#1298) (#1302)
228d23a
This was referenced Jul 20, 2023
Closed
Merged
@austincondiff austincondiff mentioned this issue Mar 19, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Cubik65536 Cubik65536

Labels
enhancement New feature or request
Projects
CodeEdit Project
Status: 🏁 Complete
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: Use terminal title as the terminal tab title (#1298) Cubik65536/CodeEdit
2 participants
@austincondiff @Cubik65536