desktop-packages team mailing list archive

[Egmont Koblinger <egmont@xxxxxxxxx>]

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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1460062

Title:
  Scrollback with Shift-PageUp Shift-PageDown does not refresh screen

Status in gnome-terminal package in Ubuntu:
  New

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
  ProcVersionSignature: Ubuntu 3.16.0-34.47-generic 3.16.7-ckt8
  Uname: Linux 3.16.0-34-generic i686
  NonfreeKernelModules: nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1460062/+subscriptions