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