namespace frontend { class Painter; }
class BufferView;
+class Length;
class MacroContext;
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_;
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_;