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

[Sworddragon]

> 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

This is the case on my system.


The issue does also still exists on Ubuntu 14.10 dev and I have now figured out that this issue only happens the first time the terminal is opened and after the pager scrolls up. This means the issue can be reproduced by opening a terminal, typing "man top", pressing the arrow down key and then pressing the arrow up key. Now the bold fonts are non-bold anymore and I'm also seeing the first time that some non-bold fonts got invisible.


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

I'm seeing this issue on lxterminal but not on xterm. gnome-terminal
doesn't start on my system.

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