Je sais jamais s'il vaut mieux d'abord trier puis filtrer, ou d'abord filtrer puis trier (dans un cas où l'utilisateur pourrait vouloir changer le filtre plus souvent que le tri, et où on pourrait cacher le résultat de chaque opération)
=> More informations about this toot | View the thread | More toots from julienw@pouet.chapril.org
text/geminiThis content has been proxied by September (ba2dc).