[IPython-dev] [RFC] I want to fix some behaviour. Hints needed

[Ville Vainio]

On 1/13/06, Hans Meine <hans_meine at gmx.net> wrote:

> OTOH, a platform-independent setConsoleTitle() would be nice, no?

That's partly the point - platutils.set_console_title() will be a
no-op in posix until someone implements a function for it. I tried
your escape sequences one day and they didn't work properly (some
weird coincidence or oversight probably, I was using gnome-terminal).

--
Ville Vainio    http://tinyurl.com/2prnb
  Can't you see the world is burning
  Can't you feel its Fire burning
  Don't you know we all are burning
  The Fire of Life       -- R.N.Taylor / Changes