Make shrinking proportional to the distance

Author: fdev31

modules/bar.py

@@ -736,16 +736,13 @@ def _update_rail_with_animation(self, active_button):
             return True
 
         diameter = 24
-        reduced_diameter = 8 # New variable for reduced size during stretch
         if data.VERTICAL:
             pos_prop, size_prop = "margin-top", "min-height"
-            other_size_prop, other_size_val = "min-width", reduced_diameter
             target_pos = (
                 target_allocation.y + (target_allocation.height / 2) - (diameter / 2)
             )
         else:
             pos_prop, size_prop = "margin-left", "min-width"
-            other_size_prop, other_size_val = "min-height", reduced_diameter
             target_pos = (
                 target_allocation.x + (target_allocation.width / 2) - (diameter / 2)
             )
@@ -761,6 +758,13 @@ def _update_rail_with_animation(self, active_button):
         stretch_duration = 0.1
         shrink_duration = 0.15
 
+        reduced_diameter = max(2, int(diameter - abs(distance / 10.0)))
+
+        if data.VERTICAL:
+            other_size_prop, other_size_val = "min-width", reduced_diameter
+        else:
+            other_size_prop, other_size_val = "min-height", reduced_diameter
+
         stretch_css = f"""
         #workspace-rail {{
             transition-property: {pos_prop}, {size_prop};