On Friday, 26 October 2012 at 01:35:43 UTC, Adam D. Ruppe wrote:
On Thursday, 25 October 2012 at 22:27:52 UTC, Jens Mueller wrote:
5. setting the contents of the title bar
The title bar of what?

Here's how you do it on xterm:

writefln("\033]0;%s\007", title);


Yeah, the problem is it does not work in all terminals.

Reply via email to