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