--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libervia/frontends/primitivus/progress.py	Fri Jun 02 14:12:38 2023 +0200
@@ -0,0 +1,101 @@
+#!/usr/bin/env python3
+
+
+# Primitivus: a SAT frontend
+# Copyright (C) 2009-2021 Jérôme Poisson (goffi@goffi.org)
+
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Affero General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Affero General Public License for more details.
+
+# You should have received a copy of the GNU Affero General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+from libervia.backend.core.i18n import _
+import urwid
+from urwid_satext import sat_widgets
+from libervia.frontends.quick_frontend import quick_widgets
+
+
+class Progress(urwid.WidgetWrap, quick_widgets.QuickWidget):
+    PROFILES_ALLOW_NONE = True
+
+    def __init__(self, host, target, profiles):
+        assert target is None and profiles is None
+        quick_widgets.QuickWidget.__init__(self, host, target)
+        self.host = host
+        self.progress_list = urwid.SimpleListWalker([])
+        self.progress_dict = {}
+        listbox = urwid.ListBox(self.progress_list)
+        buttons = []
+        buttons.append(sat_widgets.CustomButton(_("Clear progress list"), self._on_clear))
+        max_len = max([button.get_size() for button in buttons])
+        buttons_wid = urwid.GridFlow(buttons, max_len, 1, 0, "center")
+        main_wid = sat_widgets.FocusFrame(listbox, footer=buttons_wid)
+        urwid.WidgetWrap.__init__(self, main_wid)
+
+    def add(self, progress_id, message, profile):
+        mess_wid = urwid.Text(message)
+        progr_wid = urwid.ProgressBar("progress_normal", "progress_complete")
+        column = urwid.Columns([mess_wid, progr_wid])
+        self.progress_dict[(progress_id, profile)] = {
+            "full": column,
+            "progress": progr_wid,
+            "state": "init",
+        }
+        self.progress_list.append(column)
+        self.progress_cb(self.host.loop, (progress_id, message, profile))
+
+    def progress_cb(self, loop, data):
+        progress_id, message, profile = data
+        data = self.host.bridge.progress_get(progress_id, profile)
+        pbar = self.progress_dict[(progress_id, profile)]["progress"]
+        if data:
+            if self.progress_dict[(progress_id, profile)]["state"] == "init":
+                # first answer, we must construct the bar
+                self.progress_dict[(progress_id, profile)]["state"] = "progress"
+                pbar.done = float(data["size"])
+
+            pbar.set_completion(float(data["position"]))
+            self.update_not_bar()
+        else:
+            if self.progress_dict[(progress_id, profile)]["state"] == "progress":
+                self.progress_dict[(progress_id, profile)]["state"] = "done"
+                pbar.set_completion(pbar.done)
+                self.update_not_bar()
+                return
+
+        loop.set_alarm_in(0.2, self.progress_cb, (progress_id, message, profile))
+
+    def _remove_bar(self, progress_id, profile):
+        wid = self.progress_dict[(progress_id, profile)]["full"]
+        self.progress_list.remove(wid)
+        del (self.progress_dict[(progress_id, profile)])
+
+    def _on_clear(self, button):
+        to_remove = []
+        for progress_id, profile in self.progress_dict:
+            if self.progress_dict[(progress_id, profile)]["state"] == "done":
+                to_remove.append((progress_id, profile))
+        for progress_id, profile in to_remove:
+            self._remove_bar(progress_id, profile)
+        self.update_not_bar()
+
+    def update_not_bar(self):
+        if not self.progress_dict:
+            self.host.set_progress(None)
+            return
+        progress = 0
+        nb_bars = 0
+        for progress_id, profile in self.progress_dict:
+            pbar = self.progress_dict[(progress_id, profile)]["progress"]
+            progress += pbar.current / pbar.done * 100
+            nb_bars += 1
+        av_progress = progress / float(nb_bars)
+        self.host.set_progress(av_progress)