var filter_text = entry.get_text();
listbox.set_filter_func((row) =>
{
    var text = (row.get_child() as Gtk.Label).label;
    return filter_text == "" || filter_text.down() in text.down();
});