Move several common types to support/types.h

[lyx.git] / src / mathed / InsetMathNumber.h

diff --git a/src/mathed/InsetMathNumber.h b/src/mathed/InsetMathNumber.h
index dc9d3cd84891a634fd23aceac2e0fc14c38d174b..ce5803c1869e2932d894dfa82b75f88adb5d644a 100644 (file)
--- a/src/mathed/InsetMathNumber.h
+++ b/src/mathed/InsetMathNumber.h
@@ -4,7 +4,7 @@
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
- * \author André Pönitz
+ * \author André Pönitz
  *
  * Full author contact details are available in file CREDITS.
  */
@@ -26,29 +26,33 @@ public:
        ///
        explicit InsetMathNumber(docstring const & s);
        ///
-       void metrics(MetricsInfo & mi, Dimension & dim) const;
+       void metrics(MetricsInfo & mi, Dimension & dim) const override;
        ///
-       void draw(PainterInfo &, int x, int y) const;
+       void draw(PainterInfo &, int x, int y) const override;
        ///
        docstring str() const { return str_; }
        ///
        InsetMathNumber * asNumberInset() { return this; }
 
        ///
-       void normalize(NormalStream &) const;
+       void normalize(NormalStream &) const override;
        ///
-       void octave(OctaveStream &) const;
+       void octave(OctaveStream &) const override;
        ///
-       void maple(MapleStream &) const;
+       void maple(MapleStream &) const override;
        ///
-       void mathematica(MathematicaStream &) const;
+       void mathematica(MathematicaStream &) const override;
        ///
-       void mathmlize(MathStream &) const;
+       void mathmlize(MathStream &) const override;
        ///
-       void write(WriteStream & os) const;
+       void htmlize(HtmlStream &) const override;
+       ///
+       void write(WriteStream & os) const override;
+       ///
+       InsetCode lyxCode() const override { return MATH_NUMBER_CODE; }
 
 private:
-       virtual Inset * clone() const;
+       Inset * clone() const override;
        /// the number as string
        docstring str_;
 };