This bug was fixed in the package vte3 - 1:0.31.0-0ubuntu2
---------------
vte3 (1:0.31.0-0ubuntu2) precise; urgency=low
* Add debian/patches/03_set_scroll_mask.patch: Explicitly set
GDK_SCROLL_MASK as recent gtk+ versions require it for scrolling to work.
(LP: #948612)
-- Martin Pitt <[email protected]> Thu, 08 Mar 2012 10:32:46 +0100
** Branch linked: lp:~ubuntu-desktop/vte/ubuntu-vte3
** Changed in: vte3 (Ubuntu Precise)
Status: In Progress => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/948612
Title:
gnome-terminal does not scroll with mousewheel
To manage notifications about this bug go to:
https://bugs.launchpad.net/vte/+bug/948612/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
