do what the FIXME suggested

[lyx.git] / src / frontends / qt4 / GuiApplication.cpp

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index 707bdbad0d02f34dc9d806f63bbb504faa2feddd..693a396d5005545c9d2cef0967d218b1d99379be 100644 (file)
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -467,13 +467,32 @@ bool GuiApplication::notify(QObject * receiver, QEvent * event)
                return QApplication::notify(receiver, event);
        }
        catch (ExceptionMessage const & e) {
-               if (e.type_ == ErrorException) {
+               switch(e.type_) { 
+               case ErrorException:
+                       LyX::cref().emergencyCleanup();
+                       setQuitOnLastWindowClosed(false);
+                       closeAllViews();
                        Alert::error(e.title_, e.details_);
-                       LyX::cref().exit(1);
-               } else if (e.type_ == WarningException) {
-                       Alert::warning(e.title_, e.details_);
+#ifndef NDEBUG
+                       // Properly crash in debug mode in order to get a useful backtrace.
+                       abort();
+#endif
+                       // In release mode, try to exit gracefully.
+                       this->exit(1);
+
+               case BufferException: {
+                       Buffer * buf = current_view_->buffer();
+                       docstring details = e.details_ + '\n';
+                       details += theBufferList().emergencyWrite(buf);
+                       theBufferList().release(buf);
+                       details += _("\nThe current document was closed.");
+                       Alert::error(e.title_, details);
                        return false;
                }
+               case WarningException:
+                       Alert::warning(e.title_, e.details_);
+                       return false;
+               };
        }
        catch (exception const & e) {
                docstring s = _("LyX has caught an exception, it will now "