From: Christopher Arndt <chris@chrisarndt.de>
Date: Thu, 2 Jul 2020 14:04:29 +0000 (+0200)
Subject: Improve styling of control groups
X-Git-Tag: release-13~32
X-Git-Url: https://git.0d.be/?p=jack_mixer.git;a=commitdiff_plain;h=7a61da0bae21666a4172c531e719066398e08801

Improve styling of control groups

* Add padding to control group labels
* Add padding to mute/solo button labels
* Make control group label font smaller

Signed-off-by: Christopher Arndt <chris@chrisarndt.de>
---

diff --git a/channel.py b/channel.py
index 700dbae..4cedd93 100644
--- a/channel.py
+++ b/channel.py
@@ -1108,18 +1108,33 @@ class ControlGroup(Gtk.Alignment):
                 output_channel.color.to_string())
 
         self.vbox.pack_start(self.hbox, True, True, button_padding)
-        css = b""" .control_group {
-        min-width: 0px; padding: 0px;} """
+        css = b"""
+        .control_group {
+            min-width: 0px;
+            padding: 0px;
+        }
+
+        .control_group #label {
+            font-size: smaller;
+        }
+
+        .control_group #label,
+        .control_group #mute,
+        .control_group #solo {
+            padding: 0px .2em;
+        }
+        """
 
         css_provider = Gtk.CssProvider()
         css_provider.load_from_data(css)
         context = Gtk.StyleContext()
         screen = Gdk.Screen.get_default()
         context.add_provider_for_screen(screen, css_provider, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION)
+        hbox_context = self.hbox.get_style_context()
+        hbox_context.add_class('control_group')
 
         self.label = Gtk.Label(output_channel.channel.name)
-        label_context = self.label.get_style_context()
-        label_context.add_class('control_group')
+        self.label.set_name("label")
         self.hbox.pack_start(self.label, False, False, button_padding)
         self.hbox.pack_end(self.buttons_box, False, False, button_padding)
         mute = Gtk.ToggleButton()