///
LyXScreen * screen() const;
///
- WorkArea * workarea() const;
- ///
void buffer(Buffer * b);
///
void resize(int, int, int, int);
///
bool ChangeCitationsIfUnique(string const & from, string const & to);
///
+ string const getClipboard() const;
+ ///
void pasteClipboard(bool asPara);
///
void stuffClipboard(string const &) const;