Comment 4 for bug 1132446

Revision history for this message
Removed by request (removed3425744) wrote :

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