Path: utzoo!attcan!uunet!decwrl!sgi!shinobu!odin!wookie!vic
From: vic@wookie.wpd.sgi.com (Victor Mitnick)
Newsgroups: comp.sys.sgi
Subject: Re: Changing icon title within wsh
Keywords: wsh icons iris
Message-ID: <1990Oct8.224854.3065@odin.corp.sgi.com>
Date: 8 Oct 90 22:48:54 GMT
References: <1251@acf5.NYU.EDU>
Sender: news@odin.corp.sgi.com (Net News)
Organization: Silicon Graphics, Inc.  Mountain View, CA
Lines: 22

In <1251@acf5.NYU.EDU> sabbagh@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@sgi.com                System Software Division
(415)335-1372

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