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

[Fernando Perez]

Ville Vainio wrote:
> 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.

Exactly.

Cheers,

f