From: =?utf-8?q?Guido_G=C3=BCnther?= <agx@sigxcpu.org>
Date: Tue, 19 Jul 2022 12:09:18 +0200
Subject: LoadingWidget: Use margin

This makes sure we don't have the progress bar
extend to the screen edge which looks slightly
odd on mobile.
---
 src/widgets.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/widgets.py b/src/widgets.py
index 7667e17..5d9ab3d 100644
--- a/src/widgets.py
+++ b/src/widgets.py
@@ -263,6 +263,8 @@ class LoadingWidget(Handy.Clamp):
         fetcher.connect("notify", lambda *args: pb.set_fraction(fetcher.props.fraction))
         button.connect("clicked", lambda *args: fetcher.cancel())
 
+        box.set_margin_start(12)
+        box.set_margin_end(12)
         box.pack_start(img, False, False, 16)
         box.pack_start(label, False, False, 8)
         box.pack_start(pb, False, False, 8)