Você pode editar .desktop
arquivos localizados em /usr/share/applications/
Do que eu descobri, a pesquisa é baseada nas propriedades Name
, GenericName
e Comment
dentro de .desktop
arquivos, portanto, alterando essas propriedades, você deve conseguir filtrar quais aplicativos são exibidos.
Você pode editar .desktop
arquivos em qualquer editor de texto.