-
Notifications
You must be signed in to change notification settings - Fork 43
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
Labels
Comments
Indeed, we need to add the ability to edit window titles in the list of windows in the taskbar or in the window itself. |
Merged
o-sdn-o
added a commit
to o-sdn-o/vtm
that referenced
this issue
Oct 8, 2023
… button (swap with clipboard)
o-sdn-o
added a commit
to o-sdn-o/vtm
that referenced
this issue
Oct 8, 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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
The text was updated successfully, but these errors were encountered: