namespace frontend { class Painter; }
class BufferView;
+class Length;
class MacroContext;
// Temporarily change to the style suitable for use in fractions
Changer changeFrac();
// Temporarily change to the style suitable for use in arrays
- Changer changeArray();
+ // or to style suitable for smallmatrix when \c small is true.
+ Changer changeArray(bool small = false);
// Temporarily change the style to (script)script style
Changer changeScript();
///
int solidLineOffset() const { return solid_line_offset_; }
///
int dottedLineThickness() const { return dotted_line_thickness_; }
+ /** return the on-screen size of this length
+ *
+ * This version of the function uses the current inset width as
+ * width and the EM value of the current font.
+ */
+ int inPixels(Length const & len) const;
+
private:
int solid_line_thickness_;
int solid_line_offset_;
void draw(int x, int y, char_type c);
///
void draw(int x, int y, docstring const & str);
- /// Determines the background color for the specified inset based on the
- /// selection state, the background color inherited from the parent inset
- /// and the inset's own background color.
+ /// Determines the background color based on the
+ /// selection state, the background color inherited from the parent inset
+ /// and the inset's own background color (if one is specified).
/// \param sel whether to take the selection state into account
- ColorCode backgroundColor(Inset const * inset, bool sel = true) const;
+ ColorCode backgroundColor(Inset const * inset = nullptr, bool sel = true) const;
/// Determines the text color based on the intended color, the
- /// change tracking state and the selection state.
+ /// change tracking state and the selection state.
/// \param color what the color should be by default
Color textColor(Color const & color) const;
MetricsBase base;
///
frontend::Painter & pain;
- /// Whether the text at this point is right-to-left (for InsetNewline)
+ /// Whether the text at this point is right-to-left (for insets)
bool ltr_pos;
/// The change the parent is part of (change tracking)
- Change change_;
+ Change change;
/// Whether the parent is selected as a whole
bool selected;
/// Whether the spell checker is enabled for the parent
bool do_spellcheck;
- ///
+ /// True when it can be assumed that the screen has been cleared
bool full_repaint;
/// Current background color
ColorCode background_color;
+ /// Useful for drawing display math numbering
+ int leftx, rightx;
};
class TextMetricsInfo {};