Tell the user when a background update completes, not when it starts
[zeroinstall/solver.git] / zeroinstall / gtkui / 
tree99dfb5121d97fab5efa5f0f6503258c7d8504131
drwxr-xr-x   ..
-rw-r--r-- 26 __init__.py
-rw-r--r-- 5954 addbox.py
-rw-r--r-- 10632 applistbox.py
-rw-r--r-- 22277 cache.py
-rw-r--r-- 7810 cache.ui
-rw-r--r-- 2067 desktop.py
-rw-r--r-- 24319 desktop.ui
-rw-r--r-- 3963 gtkutils.py
-rw-r--r-- 2069 help_box.py
-rw-r--r-- 1369 icon.py
-rw-r--r-- 9590 trust_box.py
-rw-r--r-- 2917 xdgutils.py