> 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 Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1132446 Title: Bold fonts are converting to normal fonts on scrolling To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/man-db/+bug/1132446/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
