Scrollback with Shift-PageUp Shift-PageDown does not refresh screen
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
Invalid
|
Undecided
|
Unassigned |
Bug Description
I am often using Scrollback in GNOME-Terminal. The current version forgets to refresh the screen timely afterwards. For one thing, it means that one is wildly pressing Shift-PageUp Shift-PageDown too often and it is hard to find things.
For another, when trying to highlight material with the mouse, the refresh happens after the highlighting completes so the highlighted material is on a different page than the material you _imagined_ to be highlighting.
Very annoying. Basically, you have to remember to do an extra click or keypress or whatever in order to trigger the screen refresh before you can do anything serious.
ProblemType: Bug
DistroRelease: Ubuntu 15.04
Package: gnome-terminal 3.14.2-0ubuntu3
ProcVersionSign
Uname: Linux 3.16.0-34-generic i686
NonfreeKernelMo
ApportVersion: 2.17.2-0ubuntu1.1
Architecture: i386
CurrentDesktop: X-Cinnamon
Date: Fri May 29 14:56:07 2015
InstallationDate: Installed on 2011-10-14 (1322 days ago)
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release i386 (20111011)
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to vivid on 2015-04-27 (32 days ago)
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).