Sei stanco di scavare nelle impostazioni di Safari per cambiare il motore di ricerca predefinito? Non scavare più, c'è un modo molto più semplice! Se ti piace utilizzare diversi motori di ricerca, o semplicemente non vuoi usare Google, allora c'è un modo molto più rapido per cambiarlo dalla barra degli indirizzi.

Normalmente, per cambiare il motore di ricerca predefinito su Safari, tu per prima cosa è necessario aprire le preferenze, quindi fare clic su "Cerca", modificare il motore di ricerca e quindi uscire dalle preferenze.

Questo metodo è un po 'macchinoso se si desidera modificare il motore di ricerca predefinito su base regolare . In effetti, è più facile andare sul sito Web effettivo e cercare da lì.

C'è un modo molto più semplice. Tutto ciò che devi fare è aprire Safari, fare clic sulla barra degli indirizzi, quindi toccare la barra spaziatrice. Le opzioni disponibili per i motori di ricerca (Google, Yahoo, Bing e DuckDuckGo) appariranno in un elenco a discesa. Saprai quale è l'impostazione predefinita perché c'è un segno di spunta accanto ad essa. Nel seguente esempio, Google è il motore di ricerca predefinito.

Quando selezioniamo Yahoo, tuttavia, viene visualizzato accanto a esso un segno di spunta che indica che si tratta del nuovo motore di ricerca predefinito.

Questa modifica è persistente, il che significa che rimarrà così finché non lo cambierai di nuovo, cosa che puoi fare di nuovo premendo semplicemente lo Spazio e facendo così. Sfortunatamente, non c'è un modo semplice per aggiungere motori di ricerca, anche se non ce ne sono di così grandi oltre ai quattro inclusi in Safari.

D'ora in poi, se mai vuoi cercare facilmente dalla barra degli indirizzi di Safari usando qualcosa diverso da Google, ora puoi farlo con pochi clic.

Come reimpostare i dati di un'applicazione su Windows 10

Con l'Aggiornamento Anniversario di Windows 10, è ora possibile ripristinare i dati di un'app senza effettivamente disinstallare e reinstallare l'app. Questo può risolvere i problemi quando un'app si trova in uno stato negativo o ripristinare rapidamente un'app alle impostazioni predefinite. Perderà le impostazioni e i dati memorizzati nella cache nell'app, quindi dovrai configurare app nuovamente da graffiato in seguito.

(how-to)

Come installare le estensioni in Microsoft Edge

Microsoft Edge supporta infine le estensioni del browser grazie all'aggiornamento Anniversario di Windows 10. Le estensioni Edge sono ora disponibili su Windows Store, anche se solo alcune sono inizialmente disponibili. Microsoft rilascerà anche uno strumento che può facilmente convertire estensioni Chrome esistenti in estensioni Edge, in quanto le due sono molto simili.

(how-to)