return message;
}
-} // namespace anon
+} // namespace
graphics::PreviewImage const *
FontInfo font(mi.base.font);
font.setFamily(SANS_FAMILY);
- font.setSize(FONT_SIZE_FOOTNOTE);
+ font.setSize(FOOTNOTE_SIZE);
docstring const stat = statusMessage(mi.base.bv, snippet_);
dim.wid = 15 + theFontMetrics(font).width(stat);
}
pi.pain.image(x, y - dim_.asc, dim_.wid, dim_.height(),
*image);
} else {
- int const offset = Inset::TEXT_TO_INSET_OFFSET;
+ int const offset = Inset::textOffset(pi.base.bv);
pi.pain.rectangle(x + offset,
y - dim_.asc,
FontInfo font(pi.base.font);
font.setFamily(SANS_FAMILY);
- font.setSize(FONT_SIZE_FOOTNOTE);
+ font.setSize(FOOTNOTE_SIZE);
docstring const stat = statusMessage(pi.base.bv, snippet_);
pi.pain.text(x + offset + 6,
y - theFontMetrics(font).maxAscent() - 4,
stat, font);
}
- pi.change_.paintCue(pi, x, y - dim_.asc,
- x + dim_.width(), y - dim_.asc + dim_.height());
+ pi.change.paintCue(pi, x, y - dim_.asc,
+ x + dim_.width(), y - dim_.asc + dim_.height());
}
{
if (!monitoring()) {
monitor_ = FileSystemWatcher::activeMonitor(filename_);
+ // Disconnected at the same time as this is destroyed.
monitor_->connect([this](bool /* exists */){ changed_(); });
}
}