Marius, thanks for this info!
gnome-terminal relies on smooth scrolling events at least since vte-0.38 (which appeared in Vivid 15.04), see https://git.gnome.org/browse/vte/commit/?id=7efb04f.
At this moment I'm puzzled what can go wrong on the reporter's computer. Carlos, can you reproduce the issue on Artful?
(By the way, we have an even nastier bug at https://bugzilla.gnome.org/show_bug.cgi?id=774430 – any help resolving that would be highly appreciated!)
Marius, thanks for this info!
gnome-terminal relies on smooth scrolling events at least since vte-0.38 (which appeared in Vivid 15.04), see https:/ /git.gnome. org/browse/ vte/commit/ ?id=7efb04f.
At this moment I'm puzzled what can go wrong on the reporter's computer. Carlos, can you reproduce the issue on Artful?
(By the way, we have an even nastier bug at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 774430 – any help resolving that would be highly appreciated!)