# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1446992174 -3600
# Node ID 6a6fe840c3a6bb32d15d9cafd57542708ea10cfc
# Parent  c668081eba1c441a4c1e5219ae7c133e33b7d629
quick frontend: fixed resources display in quickContactList

diff -r c668081eba1c -r 6a6fe840c3a6 frontends/src/quick_frontend/quick_contact_list.py
--- a/frontends/src/quick_frontend/quick_contact_list.py	Sun Nov 08 14:48:04 2015 +0100
+++ b/frontends/src/quick_frontend/quick_contact_list.py	Sun Nov 08 15:16:14 2015 +0100
@@ -512,7 +512,7 @@
         self.update()
 
     def showResources(self, show):
-        show = C.bool(show)
+        assert isinstance(show, bool)
         if self.show_resources == show:
             return
         self.show_resources = show