cette recherche par mots clé peut être pratique, et plus rapide (pour quelqu'un qui frappe très très rapidement !)
mais je réserve cette fonction au lancement de programmes dont je connais le nom et que je ne lance pas plusieurs fois par jour et qui donc ne justifient pas un raccourci sur le bureau ou dans un dock
[^] # Re: Pour en finir avec les icônes sur le bureau
Posté par pralines . En réponse à la dépêche GNOME 3.28. Évalué à 0.
cette recherche par mots clé peut être pratique, et plus rapide (pour quelqu'un qui frappe très très rapidement !)
mais je réserve cette fonction au lancement de programmes dont je connais le nom et que je ne lance pas plusieurs fois par jour et qui donc ne justifient pas un raccourci sur le bureau ou dans un dock
Envoyé depuis mon Archlinux