Scale badges and progress bars with icon size

Author: lenemter

data/Application.css

@@ -66,6 +66,45 @@ launcher progressbar progress {
     min-width: 0;
 }
 
+launcher progressbar.small {
+    margin-left: 4px;
+    margin-right: 4px;
+    margin-bottom: 4px;
+}
+
+launcher progressbar.small trough {
+    min-height: 1px;
+}
+
+launcher progressbar.small progress {
+    min-height: 1px;
+}
+
+launcher progressbar.large trough {
+    min-height: 6px;
+}
+
+launcher progressbar.large {
+    margin-left: 7px;
+    margin-right: 7px;
+    margin-bottom: 7px;
+}
+
+launcher progressbar.large progress {
+    min-height: 6px;
+}
+
+launcher .badge.small {
+    min-width: 18px;
+    min-height: 18px;
+}
+
+launcher .badge.large {
+    font-size: 16px;
+    min-width: 28px;
+    min-height: 28px;
+}
+
 tooltip {
     margin-bottom: 0.5em;
 }

src/AppSystem/Launcher.vala

@@ -111,6 +111,7 @@ public class Dock.Launcher : BaseItem {
 
         var badge = new Gtk.Label ("!");
         badge.add_css_class (Granite.STYLE_CLASS_BADGE);
+        badge.set_data<Scalable> ("scalable", new Scalable (badge));
 
         animatable_badge = new AnimatableWidget () {
             child = badge
@@ -442,6 +443,7 @@ public class Dock.Launcher : BaseItem {
                 valign = END
             };
             app.bind_property ("progress", progress_bar, "fraction", SYNC_CREATE);
+            progress_bar.set_data<Scalable> ("scalable", new Scalable (progress_bar));
 
             progress_revealer.child = progress_bar;
         }
@@ -461,4 +463,46 @@ public class Dock.Launcher : BaseItem {
         to_value.set_string (src > 0 ? "%lld".printf (src) : "!");
         return true;
     }
+
+    /**
+     * Scalable is a class that handles scale style classes on Gtk.Widgets.
+     * Can be used for scaling widgets based on icon-size with CSS only.
+     * Possible CSS classes are "large" and "small".
+     */
+    private class Scalable : Object {
+        private const string CSS_CLASS_LARGE = "large";
+        private const string CSS_CLASS_SMALL = "small";
+        private static Settings settings = new Settings ("io.elementary.dock");
+
+        private weak Gtk.Widget widget;
+
+        public Scalable (Gtk.Widget widget) {
+            this.widget = widget;
+            this.widget.weak_ref (on_widget_disposed);
+
+            settings.changed["icon-size"].connect (update_icon_size);
+            update_icon_size ();
+        }
+
+        ~Scalable () {
+            widget?.weak_unref (on_widget_disposed);
+        }
+
+        private void on_widget_disposed () {
+            widget = null;
+        }
+
+        private void update_icon_size () {
+            var icon_size = settings.get_int ("icon-size");
+        
+            widget.remove_css_class (CSS_CLASS_LARGE);
+            widget.remove_css_class (CSS_CLASS_SMALL);
+
+            if (icon_size >= 64) {
+                widget.add_css_class (CSS_CLASS_LARGE);
+            } else if (icon_size <= 32) {
+                widget.add_css_class (CSS_CLASS_SMALL);
+            }
+        }
+    }
 }