>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Andre Poenitz <[EMAIL PROTECTED]> writes: | I believe 'cri' for Lars> #143 is too harsh. Lars> agree. And what about the patch? Basically, it looks good to me, although getFontSettings should be renamed to something else. It actually revives the older Inset::convertFont which has been deleted recently. What about naming it adaptFont. Also, I do not really understand what HARD_FONTS stands for. JMarc
