Qualunque browser utilizzi, quando effettui una ricerca specifica, lo farà nel motore di ricerca che hai lasciato come predefinito. Nel caso di Safari, ci consente di selezionare tre diversi motori di ricerca in modo che, quando scriviamo una determinata parola o frase nella stessa barra degli indirizzi del browser, la cercherà nel motore di ricerca predefinito.
Il tipo di motore di ricerca da utilizzare Safari può essere selezionato nelle Preferenze dell'applicazione. Tuttavia, se sei un utente che cambia regolarmente i motori di ricerca, diventa un po 'macchinoso dover entrare continuamente in quel pannello. Ecco perché oggi vi mostriamo in questo articolo una piccola scorciatoia che Apple ha inserito in Safari in modo strategico.
Ci sono tre motori di ricerca che puoi selezionare in Safari per fargli fare le ricerche. Come ti abbiamo detto prima, per cambiare il motore di ricerca predefinito dovremo entrare nelle Preferenze di Safari e nel file Scheda Generale andiamo al menu a discesa Motore di ricerca predefinito.
In quel menu a tendina potremo scegliere tra il motore di ricerca Google, il motore di ricerca Yahoo e il motore di ricerca Bing. Fino ad ora, il motore di ricerca predefinito nei sistemi Apple, sia iOS che OS X, è di Google. Tuttavia, Sembra che nelle beta dei nuovi iOS 8 e OS X 10.10 sia Bing il grazioso. Vedremo quale di loro è quello che regna nella versione finale di entrambi i sistemi.
Ora, se sei un utente che ha bisogno di cambiare regolarmente il motore di ricerca, potrai farlo senza entrare nel pannello Preferenze effettuando i seguenti passaggi:
- Apri una finestra di Safari e passa il mouse sulla barra degli indirizzi.
- Elimina l'indirizzo di qualsiasi file sito web che hai come home page.
- Premere la barra spaziatrice per visualizzare un menu a discesa in cui è possibile selezionare il motore di ricerca che si desidera utilizzare.
Quello che ti abbiamo appena mostrato è una scorciatoia che Apple ha inserito nella barra degli indirizzi, pensando agli utenti che hanno davvero bisogno di cambiare motore di ricerca più volte al giorno. Un'altra volta, piccoli trucchi che rendono il browser Safari più produttivo di altri concorrenti.