#include "support/strfwd.h"
#include "support/Changer.h"
+#include "insets/Inset.h"
+
#include <string>
namespace frontend { class Painter; }
class BufferView;
-class Inset;
+class Length;
class MacroContext;
int macro_nesting;
/// Temporarily change a full font.
- Changer changeFontSet(std::string const & font, bool cond = true);
+ Changer changeFontSet(std::string const & font);
+ /// 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
- Changer changeFrac(bool cond = true);
+ Changer changeFrac();
+ // Temporarily change to the style suitable for use in arrays
+ Changer changeArray();
// Temporarily change the style to (script)script style
- Changer changeScript(bool cond = true);
+ Changer changeScript();
///
int solidLineThickness() const { return solid_line_thickness_; }
///
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, docstring const & str);
/// Determines the background color for the specified inset based on the
- /// selection state, the background color inherited from the parent inset
+ /// selection state, the background color inherited from the parent inset
/// and the inset's own background color.
/// \param sel whether to take the selection state into account
ColorCode backgroundColor(Inset const * inset, 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_;
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;