/// is called when the mouse enter or leave this inset
/// return true if this inset needs repaint
virtual bool setMouseHover(bool) { return false; }
- /// tells an inset to redraw background
- virtual void setRedrawBackground(bool rd) const { redraw_background_ = rd; }
- bool redrawBackground() const { return redraw_background_; }
/// request "external features"
virtual void validate(LaTeXFeatures &) const {}
/// is this equivalent to a space (which is BTW different from
/// a line separator)?
virtual bool isSpace() const { return false; }
+
+ enum DisplayType {
+ Inline = 0,
+ AlignLeft,
+ AlignCenter,
+ AlignRight
+ };
+
/// should we have a non-filled line before this inset?
- virtual bool display() const { return false; }
+ virtual DisplayType display() const { return Inline; }
/// should we break lines after this inset?
virtual bool isLineSeparator() const { return false; }
/// should paragraph indendation be ommitted in any case?
* of the header file.
*/
int background_color_;
-
- mutable bool redraw_background_;
};