There are some known glitches with highlighting, but I'm not sure I understand your situation.
Let's start with the simplest one: no highlighting, just Shift+Page{Up,Down}. How does the bug occur exactly? How can I reproduce it? (I'm using these keys all the time and never had a problem, except for https://bugzilla.gnome.org/show_bug.cgi?id=160127). ** Bug watch added: GNOME Bug Tracker #160127 https://bugzilla.gnome.org/show_bug.cgi?id=160127 -- 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