- setLabel(getNewLabel(_("ERT")));
-}
-
-
-bool InsetERT::insetAllowed(InsetCode /* code */) const
-{
- return false;
-}
-
-
-void InsetERT::metrics(MetricsInfo & mi, Dimension & dim) const
-{
- Font tmpfont = mi.base.font;
- getDrawFont(mi.base.font);
- mi.base.font.realize(tmpfont);
- InsetCollapsable::metrics(mi, dim);
- mi.base.font = tmpfont;
-}
-
-
-void InsetERT::draw(PainterInfo & pi, int x, int y) const
-{
- Font tmpfont = pi.base.font;
- getDrawFont(pi.base.font);
- pi.base.font.realize(tmpfont);
- const_cast<InsetERT &>(*this).setButtonLabel();
- InsetCollapsable::draw(pi, x, y);
- pi.base.font = tmpfont;
-}
-
-
-bool InsetERT::showInsetDialog(BufferView * bv) const
-{
- InsetERTMailer(const_cast<InsetERT &>(*this)).showDialog(bv);
- return true;
-}
-
-
-void InsetERT::getDrawFont(Font & font) const
-{
- font = Font(Font::ALL_INHERIT, latex_language);
- font.realize(layout_.font);
-}
-
-
-string const InsetERTMailer::name_("ert");
-
-InsetERTMailer::InsetERTMailer(InsetERT & inset)
- : inset_(inset)
-{}
-
-
-string const InsetERTMailer::inset2string(Buffer const &) const
-{
- return params2string(inset_.status());