namespace {
typedef boost::shared_ptr<PreviewLoader> PreviewLoaderPtr;
///
-typedef map<Buffer const *, PreviewLoaderPtr> CacheType;
+typedef map<Buffer const *, PreviewLoaderPtr> LyxCacheType;
///
-static CacheType preview_cache_;
+static LyxCacheType preview_cache_;
}
PreviewLoader & Previews::loader(Buffer const & buffer) const
{
- CacheType::iterator it = preview_cache_.find(&buffer);
+ LyxCacheType::iterator it = preview_cache_.find(&buffer);
if (it == preview_cache_.end()) {
PreviewLoaderPtr ptr(new PreviewLoader(buffer));
void Previews::removeLoader(Buffer const & buffer) const
{
- CacheType::iterator it = preview_cache_.find(&buffer);
+ LyxCacheType::iterator it = preview_cache_.find(&buffer);
if (it != preview_cache_.end())
preview_cache_.erase(it);
namespace {
-int const arrow_size = 4;
+int const vspace_arrow_size = 4;
}
void InsetVSpace::metrics(MetricsInfo & mi, Dimension & dim) const
{
- int height = 3 * arrow_size;
+ int height = 3 * vspace_arrow_size;
if (space_.length().len().value() >= 0.0)
height = max(height, space_.inPixels(*mi.base.bv));
dim.asc = height / 2 + (a - d) / 2; // align cursor with the
dim.des = height - dim.asc; // label text
- dim.wid = ADD_TO_VSPACE_WIDTH + 2 * arrow_size + 5 + w;
+ dim.wid = ADD_TO_VSPACE_WIDTH + 2 * vspace_arrow_size + 5 + w;
// Cache the inset dimension.
setDimCache(mi, dim);
}
// adding or removing space
bool const added = space_.kind() != VSpace::LENGTH ||
space_.length().len().value() >= 0.0;
- ty1 = added ? (start + arrow_size) : start;
- ty2 = added ? start : (start + arrow_size);
- by1 = added ? (end - arrow_size) : end;
- by2 = added ? end : (end - arrow_size);
+ ty1 = added ? (start + vspace_arrow_size) : start;
+ ty2 = added ? start : (start + vspace_arrow_size);
+ by1 = added ? (end - vspace_arrow_size) : end;
+ by2 = added ? end : (end - vspace_arrow_size);
}
- int const midx = x + arrow_size;
- int const rightx = midx + arrow_size;
+ int const midx = x + vspace_arrow_size;
+ int const rightx = midx + vspace_arrow_size;
// first the string
int w = 0;
docstring const lab = label();
theFontMetrics(font).rectText(lab, w, a, d);
- pi.pain.rectText(x + 2 * arrow_size + 5,
+ pi.pain.rectText(x + 2 * vspace_arrow_size + 5,
start + (end - start) / 2 + (a - d) / 2,
lab, font, Color_none, Color_none);