I'm pretty sure by now that this issue has been video-driver or
compositor related. After upgrading to Wily and a different NVidea
driver, it seems to have disappeared. Prior to that, I noticed lag for
several other operations, like scolling in browser windows, with the
result being unconsistent until one moved around enough with the mouse
or did other operations that might fill some small pipeline to the point
of flushing.
So I'm pretty sure that this bug is not actually GNOME terminal related.
It may just be that GNOME terminal got more economical with its
redrawing/refresh and thus made it more likely to leave the uncompletely
flushing rendering pipeline in a state where the visual feedback was
not-yet-helpful.
Sorry for the noise.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1460062
Title:
Scrollback with Shift-PageUp Shift-PageDown does not refresh screen
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1460062/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
