?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 9a4d5e3) | patch
Update progress widgets when their values are modified via edit config.
commit557229c08c92153486981a56f506bcc6280da066
authorauouymous <au@qzx.com>
Fri, 30 Sep 2022 03:20:42 +0000 (29 21:20 -0600)
committerauouymous <au@qzx.com>
Fri, 30 Sep 2022 03:20:42 +0000 (29 21:20 -0600)
tree870a7e498c7ad04b5e1547c6a08b55325b52cea4tree | snapshot (tar.gz zip)
parent9a4d5e34cd0d6e06b34588e68e808a5cd73c4f21commit | diff
Update progress widgets when their values are modified via edit config.
src/gpodder/gtkui/main.py diff | blob | blame | history
gPodder — simple, usable podcast consumption (mirror repository)