Terminal title in taskbar?

[Jasper Huijsmans]

Xan wrote:
...
> 
> For this reason, I did not think in bugzilla it. Because I did not know if it 
> was a bug yet ;-)
> 
> If I bugzilla it, I will do with minor priority. It's a non-important "bug". 
> Only it could be important for users that have many terminals.
> 

File it with priority 'enhancement'. That is the best way to do a 
feature request (especially if you asked it first on the mailing list 
and some people were interested).

Thanks,
	Jasper