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.

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

Add Terminal tab tooltip with PID for process #12807

Closed
1 task done
Angelk90 opened this issue Jun 8, 2024 · 0 comments · Fixed by #21955
Closed
1 task done

Add Terminal tab tooltip with PID for process #12807

Angelk90 opened this issue Jun 8, 2024 · 0 comments · Fixed by #21955
Labels
bite-size small issues enhancement [core label] tabs Feedback for tabs behavior, navigation, style, etc tasks terminal Feedback for terminal integration, shell commands, etc

Comments

@Angelk90
Copy link
Contributor

Angelk90 commented Jun 8, 2024

Check for existing issues

  • Completed

Describe the feature

Vscode:

Registrazione.schermo.2024-06-08.alle.18.54.32.mov

Zed:

Registrazione.schermo.2024-06-08.alle.18.48.03.mov

If applicable, add mockups / screenshots to help present your vision of the feature

No response

@Angelk90 Angelk90 added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Jun 8, 2024
@Moshyfawn Moshyfawn added terminal Feedback for terminal integration, shell commands, etc tasks and removed triage Maintainer needs to classify the issue labels Jun 8, 2024
@JosephTLyons JosephTLyons removed the admin read Pending admin review label Jun 10, 2024
@notpeter notpeter changed the title Tooltip terminal tabs show the Process ID Add Terminal tab tooltip with PID for process Dec 16, 2024
@notpeter notpeter added tabs Feedback for tabs behavior, navigation, style, etc bite-size small issues labels Dec 16, 2024
github-merge-queue bot pushed a commit that referenced this issue Jan 9, 2025
Closes #12807

| Before | After |
|--------|--------|
| <img width="1336" alt="Screenshot 2025-01-09 at 2 14 15 PM"
src="https://github.com/user-attachments/assets/8396cf41-74eb-4b5c-89e3-287e4f2ddd1d"
/> | <img width="1336" alt="Screenshot 2025-01-09 at 2 13 34 PM"
src="https://github.com/user-attachments/assets/b39c51e8-fd2c-41fe-9493-396057bd71db"
/> |

Release Notes:

- Added the process ID (PID) to terminal tab tooltips.

---------

Co-authored-by: Marshall Bowers <elliott.codes@gmail.com>
Co-authored-by: Danilo Leal <daniloleal09@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bite-size small issues enhancement [core label] tabs Feedback for tabs behavior, navigation, style, etc tasks terminal Feedback for terminal integration, shell commands, etc
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants