changeset 18:790dbc5c4e89

plugin widget selector: display improvment + host profiles are now used by default
author Goffi <goffi@goffi.org>
date Mon, 08 Aug 2016 00:54:11 +0200
parents 5c9feaa060a5
children c58b522607f4
files src/cagou/plugins/plugin_wid_widget_selector.kv src/cagou/plugins/plugin_wid_widget_selector.py
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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 <http://www.gnu.org/licenses/>.
 
 <WidgetSelItem>:
-    spacing: 20
+    size_hint: (1, None)
+    height: 50
     Widget:
     Label:
         text: root.plugin_info["name"]
         bold: True
-        size_hint: (None, None)
     Widget:
--- 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