string -> [ProverWhy3.dp list] Widget.selector