PainterInfo(BufferView * bv, Painter & pain);
///
void draw(int x, int y, char c);
+ ///
+ void draw(int x, int y, std::string const & str);
///
MetricsBase base;
Painter & pain;
/// Whether the text at this point is right-to-left (for InsetNewline)
bool ltr_pos;
+ /// Whether the parent is deleted (change tracking)
+ bool erased_;
};
class TextMetricsInfo {};
class ViewMetricsInfo
{
public:
- ViewMetricsInfo(lyx::pit_type p1, lyx::pit_type p2, int y1, int y2,
+ ViewMetricsInfo(lyx::pit_type p1, lyx::pit_type p2, int y1, int y2,
bool singlepar) : p1(p1), p2(p2), y1(y1), y2(y2),
singlepar(singlepar) {}
lyx::pit_type p1;