- docstring const msg = statusMessage(params_, loader_.status());
- if (!msg.empty()) {
- msgFont.setSize(FONT_SIZE_TINY);
- font_width = max(font_width,
- theFontMetrics(msgFont).width(msg));
- }
+ FontInfo msgFont(mi.base.font);
+ msgFont.setFamily(SANS_FAMILY);
+
+ // FIXME UNICODE
+ docstring const justname = from_utf8(params_.filename.onlyFileName());
+ if (!justname.empty()) {
+ msgFont.setSize(FONT_SIZE_FOOTNOTE);
+ font_width = theFontMetrics(msgFont).width(justname);
+ font_height = theFontMetrics(msgFont).maxHeight();
+ }