Dans les options d'affichage de la carte du ciel, dans l'onglet Astéroïdes, comment on fait pour rechercher un astéroïde dans la liste ?

Dans la zone cerclée en rouge, on ne peut rien saisir.
De plus, je m'attendais à ce qu'un click sur la colonne "nom" lance un tri alphabétique sur la liste des astéroides, mais cela ne fait rien.
Il y a un truc qui m'échappe ou bien alors un bug.
Merci.
Marc