mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
Feed the high-frequent fetchurl reports into a list model to speed up the subsequent evaluation of the data. Also limit the rate of state reporting during updates to visible changes in percent such that most fetchurl reports do not cause any UI activity (status updating) any longer. This patch noticeably speeds up the installation of complex packages (i.e., the morph browser) on the PinePhone. Issue #5038