On 17.04.2012 13:08, Mehdi Dogguy wrote: > Thanks for the prompt reply! > > On 17/04/12 13:00, Michael Biebl wrote: >> >> gnome-terminal: This is a vte issue and fixed by the vte upgrade to >> 0.32 >> > > Ok. So is there a missing Breaks? or a versioned Depends? (to ensure > correct version of packages are installed).
Since libgtk-3-0 doesn't depend on libvte in any form, we will add a Breaks. Joss already added one for libvte in current svn. We should probably also add one against libwebkitgtk-3.0-0. >>> I'm not sure this is the same (though it seems to have same >>> symptoms) as #666921. So I preferred to file it in a new >>> bugreport. Note that my gnome-terminal *does* work with >>> libvte-2.90-9 (= 1:0.30.1-4). I don't have to upgrade vte to 0.32 >>> to have scrolling working again in my terminal. >> >> Are you pretty sure you have restarted gnome-terminal so you didn't >> have the old version of the library loaded? The scrolling fix for >> vte is definitely in 0.32 only. >> > > Yes... and I *never* installed any vte 0.32 on this machine. Maybe you downgraded libgtk-3-0 again? I would be pretty surprised if the combination gtk 3.4 and vte 0.30 works wrt. scrolling in gnome-terminal. Would be cool if you could re-test that again. I tested gtk 3.4 + vte 0.30 and scrolling in gnome-terminal is definitely broken. gtk 3.2 + vte 0.30 obviously is *not* broken, since the scrolling related changes were introduced in gtk 3.3.18 Michael -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
signature.asc
Description: OpenPGP digital signature
