# HG changeset patch # User Goffi # Date 1470610451 -7200 # Node ID 790dbc5c4e892e6e3f341e1f431638c555572b10 # Parent 5c9feaa060a59d4eb2ae391d445d9debdfaa9330 plugin widget selector: display improvment + host profiles are now used by default diff -r 5c9feaa060a5 -r 790dbc5c4e89 src/cagou/plugins/plugin_wid_widget_selector.kv --- a/src/cagou/plugins/plugin_wid_widget_selector.kv Sun Jul 24 22:27:24 2016 +0200 +++ b/src/cagou/plugins/plugin_wid_widget_selector.kv Mon Aug 08 00:54:11 2016 +0200 @@ -15,10 +15,10 @@ # along with this program. If not, see . : - spacing: 20 + size_hint: (1, None) + height: 50 Widget: Label: text: root.plugin_info["name"] bold: True - size_hint: (None, None) Widget: diff -r 5c9feaa060a5 -r 790dbc5c4e89 src/cagou/plugins/plugin_wid_widget_selector.py --- a/src/cagou/plugins/plugin_wid_widget_selector.py Sun Jul 24 22:27:24 2016 +0200 +++ b/src/cagou/plugins/plugin_wid_widget_selector.py Mon Aug 08 00:54:11 2016 +0200 @@ -48,7 +48,7 @@ def select(self, *args): log.debug(u"widget selection: {}".format(self.plugin_info["name"])) factory = self.plugin_info["factory"] - G.host.switchWidget(self, factory(self.plugin_info, None, None)) + G.host.switchWidget(self, factory(self.plugin_info, None, profiles=iter(G.host.profiles))) def deselect(self, *args): pass