Are you suggesting that this is actually a bug in gnome-terminal ?

It's arguable. xterm, after all, evolves and changes, and there's no one formal spec.

If yes, I will reassign this bug to the gnome-terminal package.

It's probably worth doing.

--
http://rrt.sc3d.org/ | humour, n.  unexpected recognition


--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to