class Painter;
class UpdatableInset;
class WordLangTuple;
-class WorkArea;
///
class BufferView : boost::noncopyable {
Painter & painter() const;
///
LyXScreen & screen() const;
- /// return the work area for this bview
- WorkArea & workarea() const;
///
void buffer(Buffer * b);
///
bool dispatch(FuncRequest const & argument);
/// height of a normal line in pixels (zoom factor considered)
int defaultHeight() const;
+ ///
+ void haveSelection(bool sel);
+ ///
+ int workHeight() const;
private:
///