From mboxrd@z Thu Jan 1 00:00:00 1970 From: wmorgan-sup@masanjin.net (William Morgan) Date: Wed, 26 Mar 2008 09:11:49 -0700 Subject: [sup-talk] [PATCH] Fix for icon title in gnome terminal (possibly others) In-Reply-To: <1204711708-sup-3638@tomsk> References: <1204711708-sup-3638@tomsk> Message-ID: <1206547886-sup-1106@south> 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