changing wsh title and wsh icon title

[Tony Facca]

to update the wsh title:

    echo "\033P1.yWSH-TITLE\033\\"

to update the wsh name:

    echo "\033P3.yWSH-NAME\033\\"

I have been using an alias on cd which look something like: 

    alias cd 'chdir \!*; ~/.update_cwd $cwd'

The executable script ~/.update_cwd looks like this:

#! /bin/csh -f
echo "\033P1.y$1\033\\"


[Just two lines]

This will update the title of the window to reflect the current working
directory.  Kinda cute.

-----------------------------------------------------------------------------
Tony Facca   |   fsfacca at avelon.lerc.nasa.gov      |     phone: 216-433-8318
-----------------------------------------------------------------------------
      You are at Witt's end.  Passages lead off in *all* directions.