# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1578078658 -3600
# Node ID 07aac71ea31f024ab6242c4a7999caa68ec3ebea
# Parent  a754523fc0f6a0614ee121d567c57cc7cf26afbb
quick_frontend (widget): typo

diff -r a754523fc0f6 -r 07aac71ea31f sat_frontends/quick_frontend/quick_widgets.py
--- a/sat_frontends/quick_frontend/quick_widgets.py	Fri Jan 03 17:10:53 2020 +0100
+++ b/sat_frontends/quick_frontend/quick_widgets.py	Fri Jan 03 20:10:58 2020 +0100
@@ -392,7 +392,7 @@
     def resync(self):
         """Method called when backend can be resynchronized
 
-        The widget has to set self.sync itself when the synchronisation if finished
+        The widget has to set self.sync itself when the synchronisation is finished
         """
         pass