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)
102 int background_color;
105 class TextMetricsInfo {};
107 enum ScreenUpdateStrategy {
114 class ViewMetricsInfo
118 : p1(0), p2(0), y1(0), y2(0),
119 update_strategy(FullScreenUpdate), size(0)
121 ViewMetricsInfo(pit_type p1, pit_type p2, int y1, int y2,
122 ScreenUpdateStrategy updatestrategy, pit_type size)
123 : p1(p1), p2(p2), y1(y1), y2(y2),
124 update_strategy(updatestrategy), size(size)
131 ScreenUpdateStrategy update_strategy;
136 // Generic base for temporarily changing things.
137 // The original state gets restored when the Changer is destructed.
139 template <class Struct, class Temp = Struct>
143 Changer(Struct & orig) : orig_(orig) {}
153 // temporarily change some aspect of a font
154 class FontChanger : public Changer<Font> {
157 FontChanger(Font & orig, docstring const & font);
158 FontChanger(MetricsBase & mb, char const * const font);
164 // temporarily change a full font
165 class FontSetChanger : public Changer<MetricsBase> {
168 FontSetChanger(MetricsBase & mb, docstring const & font);
169 FontSetChanger(MetricsBase & mb, char const * const font);
175 // temporarily change the style
176 class StyleChanger : public Changer<MetricsBase> {
179 StyleChanger(MetricsBase & mb, Styles style);
185 // temporarily change the style to script style
186 class ScriptChanger : public StyleChanger {
189 ScriptChanger(MetricsBase & mb);
193 // temporarily change the style suitable for use in fractions
194 class FracChanger : public StyleChanger {
197 FracChanger(MetricsBase & mb);
201 // temporarily change the style suitable for use in tabulars and arrays
202 class ArrayChanger : public StyleChanger {
205 ArrayChanger(MetricsBase & mb);
210 // temporarily change the shape of a font
211 class ShapeChanger : public Changer<Font, Font::FONT_SHAPE> {
214 ShapeChanger(Font & font, Font::FONT_SHAPE shape);
220 // temporarily change the available text width
221 class WidthChanger : public Changer<MetricsBase>
225 WidthChanger(MetricsBase & mb, int width);
231 // temporarily change the used color
232 class ColorChanger : public Changer<Font, std::string> {
235 ColorChanger(Font & font, std::string const & color);