///
int width(Painter &, LyXFont const & font) const;
///
- void draw(Painter &, LyXFont const & font, int baseline, float & x) const;
+ void draw(BufferView *, LyXFont const & font, int baseline, float & x) const;
///
void Write(Buffer const *, std::ostream &) const;
///