hey... curious question... how does one go about changing the title of the current gnome-terminal via the cmdline... it appears that the escape sequences i've tried aren't working... thoughts/comments/pointers appreciated... thanks