BufferView * bv;
/// current font
FontInfo font;
+ /// font of the containing inset
+ FontInfo outer_font;
/// name of current font - mathed specific
std::string fontname;
/// This is the width available in pixels
/// Temporarily change a full font.
Changer changeFontSet(std::string const & name);
+ /// Temporarily change font size in text mode, only record it in math mode.
+ Changer changeFontSize(std::string const & fontsize, bool mathmode);
/// Temporarily change the font to math if needed.
Changer changeEnsureMath(Inset::mode_type mode = Inset::MATH_MODE);
// Temporarily change to the style suitable for use in fractions
bool vmode;
/// if true, do not expand insets to max width artificially
bool tight_insets;
+ /// Extra width required by an inset, in addition to its dimension
+ int extrawidth;
};
Change change;
/// Whether the parent is selected as a whole
bool selected;
+ /// Whether the left/right margins are selected
+ bool selected_left, selected_right;
/// 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;
+ /// The left and right position of current line (inside margins).
/// Useful for drawing display math numbering
int leftx, rightx;
};