- /// Whether the parent is deleted (change tracking)
- bool erased_;
-};
-
-class TextMetricsInfo {};
-
-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<LyXFont> {
-public:
- ///
- FontChanger(LyXFont & 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: