GUI's refresh feature works again. Passes test-gui suite.
[zeroinstall/zeroinstall-mseaborn.git] / zeroinstall / 0launch-gui / 
tree0ada4ec097c62995b3c569babe15c0a5db6e85cb
drwxr-xr-x   ..
-rwxr-xr-x 3340 0launch-gui
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1387 README
-rw-r--r-- 843 ZeroInstall-GUI.xml
-rw-r--r-- 6177 bugs.py
-rw-r--r-- 14226 cache.py
-rw-r--r-- 1796 checking.py
-rw-r--r-- 1702 combo_compat.py
-rw-r--r-- 2465 compile.py
-rw-r--r-- 1707 dialog.py
-rw-r--r-- 3424 download_box.py
-rw-r--r-- 525 freshness.py
-rw-r--r-- 5859 gui.py
-rw-r--r-- 1505 help_box.py
-rw-r--r-- 10760 iface_browser.py
-rw-r--r-- 4414 impl_list.py
-rw-r--r-- 5103 mainwindow.py
-rw-r--r-- 6633 preferences.py
-rw-r--r-- 16938 properties.py
-rw-r--r-- 1875 treetips.py
-rw-r--r-- 11632 trust_box.py
-rw-r--r-- 64007 zero-install.glade