Ignore off-line mode setting when the user explicitly clicks Refresh
[zeroinstall/zeroinstall-rsl.git] / zeroinstall / 0launch-gui / 
tree207da11db1d1f5873923dd3c241a92245273d5c5
drwxr-xr-x   ..
-rwxr-xr-x 674 0launch-gui
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1387 README
-rw-r--r-- 865 ZeroInstall-GUI.xml
-rw-r--r-- 419 browser.py
-rw-r--r-- 6731 bugs.py
-rw-r--r-- 1805 combo_compat.py
-rw-r--r-- 2589 compile.py
-rw-r--r-- 2488 dialog.py
-rw-r--r-- 628 freshness.py
-rw-r--r-- 1553 gui.py
-rw-r--r-- 13623 iface_browser.py
-rw-r--r-- 4694 impl_list.py
-rw-r--r-- 4278 main.py
-rw-r--r-- 7321 mainwindow.py
-rw-r--r-- 6637 preferences.py
-rw-r--r-- 17624 properties.py
-rw-r--r-- 12298 trust_box.py
-rw-r--r-- 547 utils.py
-rw-r--r-- 50166 zero-install.glade