GTK2: add list_properties()