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 {};