Font const font = text_metrics_.getDisplayFont(pit_, pos);
BOOST_ASSERT(inset);
+ // Backup full_repaint status because some insets (InsetTabular)
+ // requires a full repaint
+ bool pi_full_repaint = pi_.full_repaint;
+
// FIXME: We should always use font, see documentation of
// noFontChange() in Inset.h.
pi_.base.font = inset->noFontChange() ?
x_ += dim.width();
+ // Restore full_repaint status.
+ pi_.full_repaint = pi_full_repaint;
+
#ifdef DEBUG_METRICS
int const x1 = int(x_ - dim.width());
Dimension dim2;
FontMetrics const & fm = theFontMetrics(font);
int const size = int(0.75 * fm.maxAscent());
int const y = yo_ - size;
- int x = is_rtl ? nestMargin() + changebarMargin() : width_ - size;
+ int const max_row_width = width_ - size - Inset::TEXT_TO_INSET_OFFSET;
+ int x = is_rtl ? nestMargin() + changebarMargin()
+ : max_row_width - text_metrics_.rightMargin(pm_);
- if (width_ - int(row_.width()) <= size)
- x += (size - width_ + row_.width() + 1) * (is_rtl ? -1 : 1);
+ // If needed, move the box a bit to avoid overlapping with text.
+ int const rem = max_row_width - row_.width();
+ if (rem <= 0)
+ x += is_rtl ? rem : - rem;
if (endlabel == END_LABEL_BOX)
pi_.pain.rectangle(x, y, size, size, Color_eolmarker);
{
pos_type const end = row_.endpos();
for (pos_type pos = row_.pos(); pos != end; ++pos) {
- if (!par_.isInset(pos))
- continue;
-
// If outer row has changed, nested insets are repaint completely.
Inset const * inset = par_.getInset(pos);
-
+ if (!inset)
+ continue;
if (x_ > pi_.base.bv->workWidth())
continue;
-
x_ = pi_.base.bv->coordCache().getInsets().x(inset);
paintInset(inset, pos);
}
last_strikeout_x = int(x_);
}
- bool const highly_editable_inset = par_.isInset(pos)
- && par_.getInset(pos)->editable() == Inset::HIGHLY_EDITABLE;
+ Inset const * inset = par_.getInset(pos);
+ bool const highly_editable_inset = inset
+ && inset->editable() == Inset::HIGHLY_EDITABLE;
// If we reach the end of a struck out range, paint it.
// We also don't paint across things like tables
paintForeignMark(orig_x, orig_font.language());
++vpos;
- } else if (par_.isInset(pos)) {
+ } else if (inset) {
// If outer row has changed, nested insets are repaint completely.
- Inset const * inset = par_.getInset(pos);
pi_.base.bv->coordCache().insets().add(inset, int(x_), yo_);
paintInset(inset, pos);
++vpos;