On Wed, Mar 14, 2012 at 06:24:02PM -0500, Diego Escalante Urrelo wrote: > This explains why gnome-terminal does not scroll with the mouse wheel > for me now.
Fixed in vte: https://bugzilla.gnome.org/show_bug.cgi?id=671305 -- Regards, Olav _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list