Para quem ainda não atualizou para o Linux Mint Mate 18, há uma correção para que o menu selecione a entrada principal no formulário de pesquisa. Isso funcionou para mim em Mint Mate 17.3.
Primeiro, encontre o arquivo applications.py
que corresponde ao seu menu Mint:
$ locate applications.py
/usr/lib/linuxmint/mintMenu/plugins/applications.py
/usr/lib/python3/dist-packages/ufw/applications.py
No meu sistema, o primeiro resultado é o único.
Faça uma cópia deste arquivo para restaurar caso haja problemas:
cd /usr/lib/linuxmint/mintMenu/plugins
sudo cp applications.py applications_backup.py
Em seguida, encontre a seguinte seção em applications.py
. Para mim, isso começou na linha 862.
for i in self.categoriesBox.get_children():
i.released()
i.set_relief( Gtk.ReliefStyle.NONE )
allButton = self.categoriesBox.get_children()[0];
allButton.set_relief( Gtk.ReliefStyle.HALF )
self.activeFilter = (0, text, widget)
Adicione shownList[0].grab_focus()
após o loop:
for i in self.categoriesBox.get_children():
i.released()
i.set_relief( Gtk.ReliefStyle.NONE )
shownList[0].grab_focus()
allButton = self.categoriesBox.get_children()[0];
allButton.set_relief( Gtk.ReliefStyle.HALF )
self.activeFilter = (0, text, widget)
Reinicie ou recarregue o painel. Em seguida, digitar na barra de pesquisa no menu fará com que a primeira entrada seja selecionada automaticamente quando você pressionar Enter.