-enum ScreenUpdateStrategy {
- NoScreenUpdate,
- SingleParUpdate,
- FullScreenUpdate,
- DecorationUpdate
-};
-
-class ViewMetricsInfo
-{
-public:
- ViewMetricsInfo()
- : p1(0), p2(0), y1(0), y2(0),
- update_strategy(FullScreenUpdate), size(0)
- {}
- ViewMetricsInfo(pit_type p1, pit_type p2, int y1, int y2,
- ScreenUpdateStrategy updatestrategy, pit_type size)
- : p1(p1), p2(p2), y1(y1), y2(y2),
- update_strategy(updatestrategy), size(size)
- {}
-
- pit_type p1;
- pit_type p2;
- int y1;
- int y2;
- ScreenUpdateStrategy update_strategy;
- pit_type size;
-};
-
-
-// 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<Font> {
-public:
- ///
- FontChanger(Font & 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<Font, Font::FONT_SHAPE> {
-public:
- ///
- ShapeChanger(Font & font, Font::FONT_SHAPE 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<Font, std::string> {
-public:
- ///
- ColorChanger(Font & font, std::string const & color);
- ///
- ~ColorChanger();
-};
-