Miles Bader <mi...@gnu.org> writes: > I have this problem too: > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=631116 > > Very annoying (there are a lot of decent terminal programs in Debian, > but gnome-terminal is still the nicest I've found).
I use same version - 3.0.1-1 and I have no such problems. There was somebody here couple of days back with same problem, and his problems were solved with a reboot. -- Mahesh T. Pai || Distribute Free Software -- Help stamp out Software Hoarding! -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87aaczrdt9....@gmail.com
