Eu testei o Mint MATE 18 e o menu principal tinha o recurso de busca e execução rápida trabalhando com o MATE Desktop 1.14.1.
Acabei de atualizar meu Ubuntu MATE 16.04.1 para ver. 1.14.1 do MATE Desktop com o mate-menu 5.7.1-1 e não há um lançador rápido do menu principal. Como posso obter o lançador rápido funcionando?
O lançador rápido pode ser ativado no MATE Tweak (que faz parte da instalação padrão):
Clique em Interface e marque a caixa Ativar o Iniciador
Você verá o ícone do inicializador no seu painel de indicadores:
E quando você clica nele, você obtém esta caixa de diálogo para pesquisar:
Na verdade, eu tenho o mesmo problema usando o Ubuntu 16.04LTS com o MATE 1.16, você pode instalar o mate-menu e adicioná-lo, mas há um bug e toda vez que você inicia um erro ruim aparece (problema já aberto em link )
Em vez disso, usar o Ubuntu 16.10 com o menu mate 1.16 mate funciona corretamente e você também pode adicionar o menu link do menu rápido (não compatível com a versão 16.04)