Not always reproducible, but happens randomly which could mean issues with the desktop environment/unity/gtk rather than gnome-terminal.
Not always reproducible, but happens randomly which could mean issues with the desktop environment/ unity/gtk rather than gnome-terminal.