X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=src%2Fgui%2Fgui.py;h=f7ee31e78f89eed14e89f3b80b6d973dc4aa9f8a;hb=18b26fe9afc8734f3adb22cfa6b0ed6b68a8970e;hp=a981b61111d5c44bd7daadbe7360cb9154294729;hpb=80501ced4dd4ccb5567283f16b49327140474fdf;p=matthijs%2Fupstream%2Fmobilegtd.git diff --git a/src/gui/gui.py b/src/gui/gui.py index a981b61..f7ee31e 100644 --- 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):