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

Renaming window titles #430

Open
Fan-iX opened this issue Sep 25, 2023 · 2 comments
Open

Renaming window titles #430

Fan-iX opened this issue Sep 25, 2023 · 2 comments
Labels
enhancement New feature or request keyboard UX User Experience

Comments

@Fan-iX
Copy link

Fan-iX commented Sep 25, 2023

I can change the title of a terminal window by setting the xterm title using echo -ne "\e]0;some title\007", so that I can distinguish between different terminal windows.
Is it possible to rename (preferably edit) other windows like Tile Manager? Now all tiling windows are shown as "Tiling Window Manager" so that I cannot distinguish them clearly before I activate them.

@o-sdn-o
Copy link
Collaborator

o-sdn-o commented Sep 25, 2023

Indeed, we need to add the ability to edit window titles in the list of windows in the taskbar or in the window itself.

o-sdn-o added a commit to o-sdn-o/vtm that referenced this issue Oct 8, 2023
o-sdn-o added a commit to o-sdn-o/vtm that referenced this issue Oct 8, 2023
@o-sdn-o
Copy link
Collaborator

o-sdn-o commented Oct 18, 2023

I implemented renaming the tile manager title using the window menu button. By clicking on this button, the window title changes using the clipboard:

Terminal.Dev.2023-10-18.21-37-45.mp4

@o-sdn-o o-sdn-o added enhancement New feature or request UX User Experience keyboard labels Jan 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request keyboard UX User Experience
Projects
None yet
Development

No branches or pull requests

2 participants