#ifndef BUFFERVIEW_PIMPL_H
#define BUFFERVIEW_PIMPL_H
+#include "errorlist.h"
#include "BufferView.h"
#include "frontends/Timeout.h"
#include "frontends/key_state.h"
///
void insetUnlock();
///
- void showCursor();
- ///
- void hideCursor();
- ///
void toggleSelection(bool = true);
///
void toggleToggle();
bool insertInset(Inset * inset, string const & lout = string());
///
void updateInset(Inset * inset);
- ///
+ /// a function should be executed from the workarea
+ bool workAreaDispatch(FuncRequest const & ev);
+ /// a function should be executed
bool dispatch(FuncRequest const & ev);
private:
+ /// An error list (replaces the error insets)
+ ErrorList errorlist_;
+
/// track changes for the document
void trackChanges();