///
dispatch_result localDispatch(FuncRequest const & cmd);
///
- string const getScreenLabel(Buffer const &) const;
+ std::string const getScreenLabel(Buffer const &) const;
///
EDITABLE editable() const { return IS_EDITABLE; }
///
///
InsetOld::Code lyxCode() const;
///
- string const getScreenLabel(Buffer const &) const;
+ std::string const getScreenLabel(Buffer const &) const;
///
void metrics(MetricsInfo &, Dimension &) const;
///