}
-void InsetERT::setButtonLabel()
+void InsetERT::setButtonLabel() const
{
if (status_ == Collapsed) {
setLabel(get_new_label());
}
top_x = int(x);
+ topx_set = true;
top_baseline = baseline;
int const bl = baseline - ascent(bv, f) + ascent_collapsed();
}
-void InsetERT::status(BufferView * bv, ERTStatus const st)
+void InsetERT::status(BufferView * bv, ERTStatus const st) const
{
if (st != status_) {
status_ = st;
need_update = FULL;
setButtonLabel();
if (bv)
- bv->unlockInset(this);
+ bv->unlockInset(const_cast<InsetERT *>(this));
break;
}
if (bv)
- bv->updateInset(this, true);
+ bv->updateInset(const_cast<InsetERT *>(this), true);
}
}
}
-void InsetERT::close(BufferView * bv)
+void InsetERT::close(BufferView * bv) const
{
if (collapsed_)
return;