Buffer const & buffer = bv->buffer();
graphics::PreviewLoader const * loader = buffer.loader();
+ // please coverity (probably worth the check anyway)
+ if (!loader)
+ return docstring();
graphics::PreviewLoader::Status const status = loader->status(snippet);
docstring message;
y - theFontMetrics(font).maxAscent() - 4,
stat, font);
}
+ pi.change_.paintCue(pi, x, y - dim_.asc,
+ x + dim_.width(), y - dim_.asc + dim_.height());
}