-
Robert Knight authored
Fix bug where bold fonts applied to the terminal were drawn as regular fonts. Take the TerminalDisplay widget's font weight and underline state into consideration when deciding whether to render a particular piece of text as bold or underline. svn path=/trunk/KDE/kdebase/apps/konsole/; revision=755882
2a1ca1d3