save_ = mb;
FontSize oldsize = save_.font.size();
mb.fontname = name;
- mb.font = FontInfo();
+ mb.font = sane_font;
augmentFont(mb.font, from_ascii(name));
mb.font.setSize(oldsize);
}
save_ = mb;
FontSize oldsize = save_.font.size();
mb.fontname = to_utf8(name);
- mb.font = FontInfo();
+ mb.font = sane_font;
augmentFont(mb.font, name);
mb.font.setSize(oldsize);
}