[sup-talk] [PATCH] Fix for icon title in gnome terminal (possibly others)

[Marcus Williams]

On 26.3.2008, William Morgan wrote:
> Reformatted excerpts from Marcus Williams's message of 2008-03-05:
> > The escape code used for terminal titles works mostly but it doesnt
> > set the icon title as well [1], which is useful when minimised. This
> > patch makes the escape code set both window and icon title so the task
> > bar updates correctly in the gnome terminal (and probably others).
> 
> Reworked slightly (to avoid duplicating the conditional) and applied.

I couldnt figure out what you meant when you said this but I just
checked the diff that went in and that explained it... My patch
removes the old escape code line and replaces it with a single line,
but your patch prints both escape codes. You only need the one in my
patch as that does both icon and window titles, so you should be able
to have the single line:

print "\033]0;#{title}\07" if title && @in_x

... the fifth char '0' in the escape code means window AND icon (1
would be icon, 2 would be window). Not sure if you misread the patch
or if I duffed up :)

Marcus