Fix for new pygtk - 'Interface Properties...' label was missing.
treed0dc19e23a79deb69883f61bd0d676d9911036e9
-rwxr-xr-x 759 0launch-gui
-rw-r--r-- 1214 README
-rw-r--r-- 1140 dialog.py
-rw-r--r-- 3322 download_box.py
-rw-r--r-- 523 freshness.py
-rw-r--r-- 2308 gui.py
-rw-r--r-- 1505 help_box.py
-rw-r--r-- 3298 iface_browser.py
-rw-r--r-- 2765 impl_list.py
-rw-r--r-- 6616 mainwindow.py
-rw-r--r-- 6985 properties.py
-rw-r--r-- 2608 trust_box.py