Changing the style so as to get the bar name on the taskbar can also
be done using win.settool("barname", 0). So I guess this much is
already possible.

Regards,
Sheri

Reply via email to