Bold fonts are converting to normal fonts on scrolling

[Removed by request]

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.

[Colin Watson (cjwatson)]

This is probably a problem with your pager; once man has sent the text to the pager it has no involvement with scrolling. What pager are you using?

[Removed by request (removed3425744)]

Is this the pager for man?:

sworddragon@ubuntu:~$ pager -V
less 456 (GNU regular expressions)
Copyright (C) 1984-2012 Mark Nudelman

less comes with NO WARRANTY, to the extent permitted by law.
For information about the terms of redistribution,
see the file named README in the less distribution.
Homepage: http://www.greenwoodsoftware.com/less

[Colin Watson (cjwatson)]

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

[Removed by request (removed3425744)]

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

[Colin Watson (cjwatson)]

Reassigning to less, then, though it could also be a bug in lxterminal.