#include "frontends/Painter.h"
#include "graphics/PreviewImage.h"
#include "graphics/PreviewLoader.h"
#include "graphics/Previews.h"
#include "frontends/Painter.h"
#include "graphics/PreviewImage.h"
#include "graphics/PreviewLoader.h"
#include "graphics/Previews.h"
graphics::PreviewLoader const & loader = getPreviewLoader(buffer);
graphics::PreviewLoader::Status const status = loader.status(snippet);
graphics::PreviewLoader const & loader = getPreviewLoader(buffer);
graphics::PreviewLoader::Status const status = loader.status(snippet);
LyXFont font(mi.base.font);
font.setFamily(LyXFont::SANS_FAMILY);
font.setSize(LyXFont::SIZE_FOOTNOTE);
LyXFont font(mi.base.font);
font.setFamily(LyXFont::SANS_FAMILY);
font.setSize(LyXFont::SIZE_FOOTNOTE);
- dim.wid = 15 +
- font_metrics::width(statusMessage(mi.base.bv, snippet_),
- font);
+ docstring const stat = statusMessage(mi.base.bv, snippet_);
+ dim.wid = 15 + theFontMetrics(font).width(stat);
- y - font_metrics::maxAscent(font) - 4,
- statusMessage(pi.base.bv, snippet_), font);
+ y - theFontMetrics(font).maxAscent() - 4,
+ stat, font);