let request_targets_ids t = get_ui t |> fun ui -> ui.explorer.request_targets_ids