Redirecting to fn.gtk_list_box_set_filter_func.html...