From 4dbff50f1e71134045cda0903e0d01ac2935fcc0 Mon Sep 17 00:00:00 2001
From: David Capello <davidcapello@gmail.com>
Date: Wed, 15 Apr 2015 10:06:55 -0300
Subject: [PATCH] Catch any kind of exception in Editor::onProcessMessage()

---
 src/app/ui/document_view.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/app/ui/document_view.cpp b/src/app/ui/document_view.cpp
index 012d3fcb1..322be0339 100644
--- a/src/app/ui/document_view.cpp
+++ b/src/app/ui/document_view.cpp
@@ -139,7 +139,7 @@ protected:
     try {
       return Editor::onProcessMessage(msg);
     }
-    catch (const LockedDocumentException& ex) {
+    catch (const std::exception& ex) {
       Console console;
       Console::showException(ex);
       console.printf("\nInternal details:\n"