GNOME Bugzilla – Bug 328932
Setting the terminal title to blank should allow scripts to change tab titles
Last modified: 2006-01-28 03:51:06 UTC
Setting the terminal title to blank should allow scripts to change tab titles. Other information: xkahn: mizmo: The autogenerated thing.... xkahn: mizmo: That's tough in this case because it's likely to get replaced again. xkahn: mizmo: annoying the user who just set their title. fatalerror: xkahn: it won't in 2.14 fatalerror: the user-set title will be preserved until the tab is anihilated xkahn: fatalerror: Then how do you restore that behavior again if I wished? fatalerror: xkahn: you close the tab =P xkahn: fatalerror: what if setting the title to blank changed the behavior back? fatalerror: xkahn: hm, sounds like the best we have fatalerror: I mean, I thought about that situation when I made the change fatalerror: but I couldn't come up with anything decent to revert to dynamically-set titles fatalerror: could you please file a bug?
Fixed in CVS HEAD, thanks for pasting this here =)