I add some information:
I can also have another slightly similar behavior, which I think is
related to the same bug: sometimes a gnome-terminal tab just hangs.
It occurs in the same situation: *lots* of console output on the gnome
terminal tab, and switching from and to the gnome terminal window, with
either alt-tab or by switching desktop. Note that currently it happened
to me while following very verbose log outputs either directly in a
screen session, or following a log growing with less (and using F from
within less to follow the file in "real-time")
When the gnome-terminal tab hangs, I can still switch between tabs,
other tabs behave well, but I can't take back control of the faulty tab.
The difference with my previous description of the issue is that event
scrolling up or down with ctrl-shift-end or ctrl-shift-home doesn't
work. The only solution is to close the tab.
Note also that I used to look at verbose logs in the same manner before
the upgrade to version 3.8.3-1, and I never had this issue.
--
Matthieu Imbert <matthieu.imb...@ens-lyon.fr>
http://graal.ens-lyon.fr/~mimbert/
INRIA research engineer / SED / GRAAL and RESO teams
http://www.inria.fr http://www.ens-lyon.fr/LIP
+33(0)472728149
Room GN1 Nord 3.58
LIP ENS-Lyon, 46 allée d'Italie
69364 Lyon cedex 07, FRANCE
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
