#include "frontends/screen.h"
#include "insets/insetcommand.h" // ChangeRefs
-#include "insets/inseterror.h"
#include "insets/updatableinset.h"
#include "support/FileInfo.h"
}
-void BufferView::addError(ErrorItem const & ei)
-{
- pimpl_->errorlist_.push_back(ei);
-
-}
-
-
void BufferView::showErrorList(string const & action) const
{
if (getErrorList().size()) {