Fixed GUI performance problem with large number of feeds
[zeroinstall/solver.git] / zeroinstall / 0launch-gui / 
tree3c1ab4996961f7f99f1ad290821116285745bef9
drwxr-xr-x   ..
-rwxr-xr-x 1227 0launch-gui
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1387 README
-rw-r--r-- 421 browser.py
-rw-r--r-- 7295 bugs.py
-rw-r--r-- 3252 compile.py
-rw-r--r-- 1958 dialog.py
-rw-r--r-- 675 freshness.py
-rw-r--r-- 2892 gui.py
-rw-r--r-- 18178 iface_browser.py
-rw-r--r-- 6064 impl_list.py
-rw-r--r-- 5141 main.py
-rw-r--r-- 9627 mainwindow.py
-rw-r--r-- 7143 preferences.py
-rw-r--r-- 18708 properties.py
-rw-r--r-- 577 utils.py
-rw-r--r-- 47590 zero-install.ui