Se utilizzate la versione con
Cinnamon vi segnalo che questa mattina è uscita la nuova versione dell'applet
Configurable Menu. Quest'applet fornisce un menu molto più funzionale e configurabile rispetto a quello di base. Inoltre con questa ultima versione potrete migliorare il comportamento di ricerca del menu rispetto al menu di default che presenta qualche problema come potete vedere
da questa discussione.
Per l'installazione di Configurable Menu potete provare delle impostazioni di sistema, ma non credo che vi scarichi l'ultima versione, quindi se volete il menu con la ricerca migliorata vi basta :
Se avete problemi chiedete pure !