Grazie per la veloce risposta.
Devo dire che le pagine che mi hai suggerito, anche se un modo indiretto, mi sono servite!
Spiego cosa ho fatto, ché magari può servire a qualcuno.
ho disattivato il servizio di ricerca tramite la Barra degli indirizzi, ponendo keyword.enabled sul valore
false. Ho effettuato qualche ricerca per capire a cosa effettivamente fossi andata a modificare, perché non mi era molto chiaro
Poi l'ho ripristinato su
true, e tutto ha ricominciato a funzionare perfettamente.
Ricapitolando:
ora la Barra degli indirizzi usa solo Google, mentre la Barra di ricerca usa ciò che seleziono nel menù a tendina (e quando seleziono una parola in una pagina e clicco col destro, posso usare al volo questo motore di ricerca).
PS: Credo che ci sia qualcosa da sistemare, però, perché non capisco proprio cosa sia successo, né a maggior ragione perché la mia operazione abbia fatto tornare tutto come prima
Ciao.