Bill Shannon wrote:
> Ghee Teo wrote:
>>> Ghee, I assume this means you *won't* close the bug if I file it, since
>>> someone else is seeing it on 104, right?
>>>
>> What can I say? :) Even on 101, what is the setting for your preferences:
>> Edit->Profile Preferences->Title and Command
>> When terminal commands set their own titles: ????
>>
>> I think Darren is right, this is an important setting we need to check
>> before we investigate further.
>
> I did. As I reported previously, it's set to "Replace initial title".
>
> For the record, the escape sequence I'm using is the same escape
> sequence I've been using forever. It correctly sets the title of
> the window. The problem is that the title isn't being updated in
> the Window List in the panel.
>
> Here's the escape sequence:
>
> PS1="^[]2;ksh - $HOSTNAME:\${PWD#$HOME/}^G$PS1"
>
> "^[" is actually the ESC character.
>
The 'ESC ] 2' sequence is defined to change only the title of the window
(the window's WM_NAME property) but not the label for the window's icon
(the window's WM_ICON_NAME property). CDE (dtwm) used to get this right
but AFAIK gnome-panel has always ignored the icon name and always shows
the window's title. It's possible that gnome-panel has now been fixed to
show the icon name instead of the window title.
Please try using 'ESC ] 0' (which sets both the title and the icon
label) in your prompt instead of 'ESC ] 2'.
Mike.
--
mike.oliver at sun.com
