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

[William Morgan]

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.
Thanks!

-- 
William <wmorgan-sup at masanjin.net>