updates

.config/ags/old/modules/osd/Progress.js

@@ -0,0 +1,66 @@
+import GLib from "gi://GLib?version=2.0"
+import { range } from "../../lib/utils.js"
+import options from "../../options.js"
+
+export default ({
+  height = 18,
+  width = 180,
+  vertical = false,
+  child,
+}) => {
+  const fill = Widget.Box({
+    class_name: "fill",
+    hexpand: vertical,
+    vexpand: !vertical,
+    hpack: vertical ? "fill" : "start",
+    vpack: vertical ? "end" : "fill",
+    child,
+  })
+
+  const container = Widget.Box({
+    class_name: "progress",
+    child: fill,
+    css: `
+            min-width: ${width}px;
+            min-height: ${height}px;
+        `,
+  })
+
+  let fill_size = 0
+  let animations = []
+
+  return Object.assign(container, {
+    setValue(value) {
+      if (value < 0)
+        return
+
+      if (animations.length > 0) {
+        for (const id of animations)
+          GLib.source_remove(id)
+
+        animations = []
+      }
+
+      const axis = vertical ? "height" : "width"
+      const axisv = vertical ? height : width
+      const min = vertical ? width : height
+      const preferred = (axisv - min) * value + min
+
+      if (!fill_size) {
+        fill_size = preferred
+        fill.css = `min-${axis}: ${preferred}px;`
+        return
+      }
+
+      const frames = options.transition / 10
+      const goal = preferred - fill_size
+      const step = goal / frames
+
+      animations = range(frames, 0).map(i => Utils.timeout(5 * i, () => {
+        fill_size += step
+        fill.css = `min-${axis}: ${fill_size}px`
+        animations.shift()
+      }))
+    },
+  })
+}