Use new monitor API.
treee2f8d160f1bdcd072fadc456f29ffd3cfdffd2d5
-rwxr-xr-x 632 0launch-gui
-rw-r--r-- 1214 README
-rw-r--r-- 603 dialog.py
-rw-r--r-- 3242 download_box.py
-rw-r--r-- 523 freshness.py
-rw-r--r-- 2143 gui.py
-rw-r--r-- 1505 help_box.py
-rw-r--r-- 2930 iface_browser.py
-rw-r--r-- 2886 impl_list.py
-rw-r--r-- 5936 mainwindow.py
-rw-r--r-- 6243 properties.py
-rw-r--r-- 2608 trust_box.py