When destructing a workarea, ignore buffer exceptions

Spotted by coverity, but probably harmless.
This commit is contained in:
Jean-Marc Lasgouttes 2017-03-31 11:16:08 +02:00
parent e10db6c7dd
commit 5890e9b831

View File

@ -341,7 +341,10 @@ void GuiWorkArea::init()
GuiWorkArea::~GuiWorkArea() 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->screen_;
delete d->buffer_view_; delete d->buffer_view_;
delete d->cursor_; delete d->cursor_;