4 * This file is part of LyX, the document processor.
5 * Licence details can be found in the file COPYING.
9 * Full author contact details are available in file CREDITS.
16 #include "support/docstring.h"
23 namespace frontend { class Painter; }
26 /// Standard Sizes (mode styles)
40 // This is the part common to MetricsInfo and PainterInfo
47 MetricsBase(BufferView * bv, Font const & font, int textwidth);
53 /// current math style (display/text/script/..)
55 /// name of current font - mathed specific
57 /// This is the width available in pixels
63 // This contains a MetricsBase and information that's only relevant during
64 // the first phase of the two-phase draw
71 MetricsInfo(BufferView * bv, Font const & font, int textwidth);
79 // This contains a MetricsBase and information that's only relevant during
80 // the second phase of the two-phase draw
85 PainterInfo(BufferView * bv, frontend::Painter & pain);
87 void draw(int x, int y, char_type c);
89 void draw(int x, int y, docstring const & str);
94 frontend::Painter & pain;
95 /// Whether the text at this point is right-to-left (for InsetNewline)
97 /// Whether the parent is deleted (change tracking)
103 class TextMetricsInfo {};
105 enum ScreenUpdateStrategy {
112 class ViewMetricsInfo
116 : p1(0), p2(0), y1(0), y2(0),
117 update_strategy(FullScreenUpdate), size(0)
119 ViewMetricsInfo(pit_type p1, pit_type p2, int y1, int y2,
120 ScreenUpdateStrategy updatestrategy, pit_type size)
121 : p1(p1), p2(p2), y1(y1), y2(y2),
122 update_strategy(updatestrategy), size(size)
129 ScreenUpdateStrategy update_strategy;
134 // Generic base for temporarily changing things.
135 // The original state gets restored when the Changer is destructed.
137 template <class Struct, class Temp = Struct>
141 Changer(Struct & orig) : orig_(orig) {}
151 // temporarily change some aspect of a font
152 class FontChanger : public Changer<Font> {
155 FontChanger(Font & orig, docstring const & font);
156 FontChanger(MetricsBase & mb, char const * const font);
162 // temporarily change a full font
163 class FontSetChanger : public Changer<MetricsBase> {
166 FontSetChanger(MetricsBase & mb, docstring const & font);
167 FontSetChanger(MetricsBase & mb, char const * const font);
173 // temporarily change the style
174 class StyleChanger : public Changer<MetricsBase> {
177 StyleChanger(MetricsBase & mb, Styles style);
183 // temporarily change the style to script style
184 class ScriptChanger : public StyleChanger {
187 ScriptChanger(MetricsBase & mb);
191 // temporarily change the style suitable for use in fractions
192 class FracChanger : public StyleChanger {
195 FracChanger(MetricsBase & mb);
199 // temporarily change the style suitable for use in tabulars and arrays
200 class ArrayChanger : public StyleChanger {
203 ArrayChanger(MetricsBase & mb);
208 // temporarily change the shape of a font
209 class ShapeChanger : public Changer<Font, Font::FONT_SHAPE> {
212 ShapeChanger(Font & font, Font::FONT_SHAPE shape);
218 // temporarily change the available text width
219 class WidthChanger : public Changer<MetricsBase>
223 WidthChanger(MetricsBase & mb, int width);
229 // temporarily change the used color
230 class ColorChanger : public Changer<Font, std::string> {
233 ColorChanger(Font & font, std::string const & color);