You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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: