Tell the user when a background update completes, not when it starts
[zeroinstall/solver.git] / zeroinstall / 0launch-gui / 
tree0a6b6f28ac89ba1f325e7781156622f4aaae153d
drwxr-xr-x   ..
-rwxr-xr-x 1272 0launch-gui
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1387 README
-rw-r--r-- 464 browser.py
-rw-r--r-- 7272 bugs.py
-rw-r--r-- 3252 compile.py
-rw-r--r-- 1043 dialog.py
-rw-r--r-- 675 freshness.py
-rw-r--r-- 2909 gui.py
-rw-r--r-- 18266 iface_browser.py
-rw-r--r-- 6528 impl_list.py
-rw-r--r-- 5198 main.py
-rw-r--r-- 9627 mainwindow.py
-rw-r--r-- 7150 preferences.py
-rw-r--r-- 19103 properties.py
-rw-r--r-- 586 utils.py
-rw-r--r-- 47590 zero-install.ui