changeset 1572:6a6fe840c3a6

quick frontend: fixed resources display in quickContactList
author Goffi <goffi@goffi.org>
date Sun, 08 Nov 2015 15:16:14 +0100
parents c668081eba1c
children 6338677f3a89
files frontends/src/quick_frontend/quick_contact_list.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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