Make errors in the download box selectable (requested by Peter Prohaska).
treee2201f46545f00226e6c631e5e5a6afc296b92c5
-rwxr-xr-x 2267 0launch-gui
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1209 README
-rw-r--r-- 1091 checking.py
-rw-r--r-- 1709 combo_compat.py
-rw-r--r-- 1354 dialog.py
-rw-r--r-- 3655 download_box.py
-rw-r--r-- 523 freshness.py
-rw-r--r-- 5380 gui.py
-rw-r--r-- 1505 help_box.py
-rw-r--r-- 5532 iface_browser.py
-rw-r--r-- 4196 impl_list.py
-rw-r--r-- 690 injector-gui.xml
-rw-r--r-- 6728 mainwindow.py
-rwxr-xr-x 834 makedist
-rw-r--r-- 7200 properties.py
-rw-r--r-- 1826 treetips.py
-rw-r--r-- 4868 trust_box.py