# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1554642268 -7200
# Node ID e3803ae89fbc0684e834f911deab72c17b89a3fc
# Parent  9aadf11b315b1096cb51db58646569e1e1b0700a
quick_frontend (widgets): fixed crash on getWidgets when target doesn't correspond to any widget

diff -r 9aadf11b315b -r e3803ae89fbc sat_frontends/quick_frontend/quick_widgets.py
--- a/sat_frontends/quick_frontend/quick_widgets.py	Sat Apr 06 19:05:58 2019 +0200
+++ b/sat_frontends/quick_frontend/quick_widgets.py	Sun Apr 07 15:04:28 2019 +0200
@@ -118,7 +118,7 @@
             else:
                 filter_hash = None
             if filter_hash is not None:
-                for widget in widgets_map[filter_hash]:
+                for widget in widgets_map.get(filter_hash, []):
                     yield widget
             else:
                 for widget_instances in widgets_map.itervalues():