#include <boost/smart_ptr.hpp>
#include "BufferView.h"
-#include "UpdateInset.h"
#include "commandtags.h"
#include "frontends/Timeout.h"
#include "WorkArea.h"
///
void selectionRequested();
///
+ void selectionLost();
+ ///
void enterView();
///
void leaveView();
///
WorkArea workarea_;
///
- UpdateInset updatelist;
- ///
void pasteClipboard(bool asPara);
///
void stuffClipboard(string const &) const;