moved from our buggy custom list to the better Gtk.ListBox