← Back to team overview

desktop-packages team mailing list archive

[Bug 1500228] Re: When scrolling back up some of the bottom comes up as a sort of sleeve

 

This isn't the fault of the manual page documents themselves.  I'm not
sure exactly what *is* going wrong here; it's probably either a bug in
the terminal emulator itself or a bug in the pager you're using.  You
should add information to this bug about what pager you're using (if you
don't know, it's probably "less", but perhaps you changed it).

** Package changed: manpages (Ubuntu) => gnome-terminal (Ubuntu)

-- 
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/1500228

Title:
  When scrolling back up some of the bottom comes up as a sort of sleeve

Status in gnome-terminal package in Ubuntu:
  New

Bug description:
  I have recently noticed that when viewing a manpage in gnome-terminal
  that if scrolling down, when I scroll back up again some of the bottom
  part of the page comes up too sort of like a sleeve. I have attached
  some example screenshots, so I ran 'man dpkg' and this is what it
  looked like initially dpkg_man_top1.png, but when I scrolled down to
  the bottom of the page and then back up again to the top, the top
  looked somewhat different as you can see: dpkg_man_top2.png. Now, it
  wouldn't matter where I had scrolled down to, nor where I had gone up
  to, the effect witnessed would have been the same.

  ---

  OS Information:

      No LSB modules are available.
      Distributor ID:	Ubuntu
      Description:	Ubuntu 15.04
      Release:	15.04
      Codename:	vivid
      Flavour: GNOME
      GNOME Version: 3.16

  Package Information:

      manpages:
        Installed: 3.74-1ubuntu1
        Candidate: 3.74-1ubuntu1
        Version table:
       *** 3.74-1ubuntu1 0
              500 http://archive.ubuntu.com/ubuntu/ vivid/main amd64 Packages
              100 /var/lib/dpkg/status

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