Am 12.07.2011 16:37, schrieb Miles Bader: > Michel Dänzer <daenzer@debian.org> writes: >>> I looked in the terminal settings menu, but there doesn't seem to be >>> an option to turn it off. >> >> It sounds like you have the scrollbar disabled or on the left side? You >> could enable it on the right side as a workaround. > > Yeah, scrollbar's disabled ... don't really want to enable it though; > gnome-terminal nicely has essentially zero extraneous widgets with > everything disabled (except for this thing now). > > Should I file a bug report about that widget....? > You mean like http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632677 ? If you care, you can forward this issue upstream and tag the debian bug accordingly. Michael -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
Attachment:
signature.asc
Description: OpenPGP digital signature