diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index bcb87f8231..ef0427d5ba 100644 --- a/src/frontends/qt4/GuiApplication.cpp +++ b/src/frontends/qt4/GuiApplication.cpp @@ -1318,7 +1318,7 @@ bool GuiApplication::notify(QObject * receiver, QEvent * event) this->exit(1); case BufferException: { - if (current_view_->documentBufferView()) + if (!current_view_->documentBufferView()) return false; Buffer * buf = ¤t_view_->documentBufferView()->buffer(); docstring details = e.details_ + '\n';