On Fri, Feb 14, 2014 at 12:01:12PM +0000, althaser wrote: > Hey Adam, > > Could you please try to reproduce this bug with newer version of > gnome-terminal like 3.4.1.1-2 or 3.10.1-1 ?
3.10.1-1 seems to work fine, couldn't reproduce. On the same system, which, running unstable, is not really the same as when the bug was reproducible. -- A tit a day keeps the vet away. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

