Abdelrazak Younes wrote:
> Enrico Forestieri wrote:
>> Index: src/frontends/qt4/GuiFontLoader.C
>> ===================================================================
>> --- src/frontends/qt4/GuiFontLoader.C (revision 16106)
>> +++ src/frontends/qt4/GuiFontLoader.C (working copy)
>> @@ -144,7 +144,7 @@ bool isChosenFont(QFont & font, string c
>> << fromqstr(fi.family()) << endl;
>>
>> // So we check rawName first
>> - if (contains(fromqstr(font.rawName()), family)) {
>> + if (font.rawName() == fi.family()) {
>
> It looks OK to me. There is not exactly the same code as we check
> equality instead of containance. But at the same time we ask
> "isChosenFont()" so I think you're right.
The important difference is fi.family() vs. family, see my other post.
Georg
