Tag Info

Hot answers tagged


There's no similar mechanism, because the reasons are completely different. A garbled text terminal comes from having multiple sources all writing to the terminal, with no coordination between them. So you end up with text where it doesn't belong, which is solved by making the application whose text you do want to see redisplay what it wants. xrefresh is ...


I had this exact same problem. So I wrote a shell script that I bound to a hotkey. When I hit the hotkey, it gets the window id of the currently active window (the one that has focus). Then it gives you a popup dialog where you enter the title you want that window to have. Then every time that window changes its name, it changes it back to the title you ...

Only top voted, non community-wiki answers of a minimum length are eligible