Changing icon title within wsh

[Victor Mitnick]

In <1251 at acf5.NYU.EDU> sabbagh at acf5.NYU.EDU (sabbagh) writes:

>After reading the "4Sight Programmers Guide" (i.e., IRTFM) I was able to
>change the title of a wsh window.  However, I cannot seem to find out
>how to change the title of the icon of such a window.

To change the icon title:
	echo "\033P3.yTITLE\033\\"

Just for completeness, here's how to change the wsh title:
	echo "\033P1.yTITLE\033\\"

In a script, replace "TITLE" with "$!", and it will set the title to
the first command line argument.


--
Vic Mitnick                Silicon Graphics, Inc.
vic at sgi.com                System Software Division
(415)335-1372

"Sometimes a cigar is just a cigar."      -- Sigmund Freud.