mintty suggestion

Noel Grandin
Fri May 11 08:39:00 GMT 2012

On 2012-05-10 22:16, Andy Koppe wrote:
 > As far as I know, Windows doesn't have a way to set different titles
 > for a window and its taskbar button.

It is do-able, but it's not simple.

Problem reports:
Unsubscribe info:

More information about the Cygwin mailing list