-
-/// Generic base for temporarily changing things.
-/// The original state gets restored when the Changer is destructed.
-template <class Struct, class Temp = Struct>
-class Changer {
-public:
- ///
- Changer(Struct & orig) : orig_(orig) {}
-protected:
- ///
- Struct & orig_;
- ///
- Temp save_;
-};
-
-
-
-// temporarily change some aspect of a font
-class FontChanger : public Changer<FontInfo> {
-public:
- ///
- FontChanger(FontInfo & orig, docstring const & font);
- FontChanger(MetricsBase & mb, char const * const font);
- ///
- ~FontChanger();
-};
-
-
-// temporarily change a full font
-class FontSetChanger : public Changer<MetricsBase> {
-public:
- ///
- FontSetChanger(MetricsBase & mb, docstring const & font);
- FontSetChanger(MetricsBase & mb, char const * const font);
- ///
- ~FontSetChanger();
-};
-
-
-// temporarily change the style
-class StyleChanger : public Changer<MetricsBase> {
-public:
- ///
- StyleChanger(MetricsBase & mb, Styles style);
- ///
- ~StyleChanger();
-};
-
-
-// temporarily change the style to script style
-class ScriptChanger : public StyleChanger {
-public:
- ///
- ScriptChanger(MetricsBase & mb);
-};
-
-
-// temporarily change the style suitable for use in fractions
-class FracChanger : public StyleChanger {
-public:
- ///
- FracChanger(MetricsBase & mb);
-};
-
-
-// temporarily change the style suitable for use in tabulars and arrays
-class ArrayChanger : public StyleChanger {
-public:
- ///
- ArrayChanger(MetricsBase & mb);
-};
-
-
-
-// temporarily change the shape of a font
-class ShapeChanger : public Changer<FontInfo, FontShape> {
-public:
- ///
- ShapeChanger(FontInfo & font, FontShape shape);
- ///
- ~ShapeChanger();
-};
-
-
-// temporarily change the available text width
-class WidthChanger : public Changer<MetricsBase>
-{
-public:
- ///
- WidthChanger(MetricsBase & mb, int width);
- ///
- ~WidthChanger();
-};
-
-
-// temporarily change the used color
-class ColorChanger : public Changer<FontInfo, std::string> {
-public:
- ///
- ColorChanger(FontInfo & font, std::string const & color);
- ///
- ~ColorChanger();
-};
-