public:
///
explicit InsetMathUnknown(docstring const & name,
+ docstring const & selection = docstring(),
bool final = true, bool black = false);
///
void metrics(MetricsInfo & mi, Dimension & dim) const;
void setName(docstring const & name);
///
docstring name() const;
+
+ ///
+ docstring const & selection() const { return selection_; }
+
/// identifies UnknownInsets
InsetMathUnknown const * asUnknownInset() const { return this; }
/// identifies UnknownInsets
///
bool final() const;
///
- int kerning() const { return kerning_; }
+ int kerning(BufferView const *) const { return kerning_; }
+
private:
virtual Inset * clone() const;
///
bool black_;
///
mutable int kerning_;
+ /// the selection which was replaced by this
+ docstring selection_;
};