GtkListBox (instead of GtkTreeView) in desktop.py