Don't silence all exceptions in the View mainloop.

diff --git a/src/gui/gui.py b/src/gui/gui.py
index a981b61111d5c44bd7daadbe7360cb9154294729..f7ee31e78f89eed14e89f3b80b6d973dc4aa9f8a 100644 (file)
--- a/src/gui/gui.py
+++ b/src/gui/gui.py
@@ -142,7 +142,9 @@ class View(object):
                 self.refresh()
                 self.lock.wait()
         except:
-            pass
+            # TODO: Find out which exceptions to catch here. Catching
+            # and silencing all exceptions is not a good idea.
+            raise
         restore_gui(self)
 
     def exit(self):