When destructing a workarea, ignore buffer exceptions

Spotted by coverity, but probably harmless.

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index b87bb48f4cb09687ecf66d95329c93162646fcf5..084377231f170ff164357e154e2a4402874eeba7 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -341,7 +341,10 @@ void GuiWorkArea::init()
 
 GuiWorkArea::~GuiWorkArea()
 {
-       d->buffer_view_->buffer().workAreaManager().remove(this);
+       // If something is wrong with the buffer, we can ignore it safely
+       try {
+               d->buffer_view_->buffer().workAreaManager().remove(this);
+       } catch(...) {}
        delete d->screen_;
        delete d->buffer_view_;
        delete d->cursor_;