[Bug 1132446] Re: Bold fonts are converting to normal fonts on scrolling

[Colin Watson]

(Sorry for my delay; I missed your reply.)

That depends.  The MANPAGER and PAGER environment variables take
precedence; "pager" is used if neither is set.  Rather than trying to
second-guess it, it's better to simply observe what's used; for example,
pressing 'h' at the pager will show a page with "SUMMARY OF LESS
COMMANDS" at the top if it's less, or you could check a process listing
from another terminal while man is running.

It would also be worth trying a different terminal program, of which
there are many.

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to man-db in Ubuntu.
https://bugs.launchpad.net/bugs/1132446

Title:
  Bold fonts are converting to normal fonts on scrolling

Status in “man-db” package in Ubuntu:
  New

Bug description:
  I'm using Ubuntu 13.04 dev with man-db 2.6.3-3. If I'm reading a
  manpage in the terminal and scrolling down with the keyboard rarely
  some bold fonts are converting to normal fonts.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/man-db/+bug/1132446/+subscriptions