Come modificare rapidamente il motore di ricerca predefinito di Safari in OS X
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 far apparire Windows 10 e agire di più come Windows 7
Se hai aggiornato a Windows 10 ma non ami quello che vedi, ci sono modi per far sembrare Windows 10 agisci come Windows 7. In questo modo, puoi ottenere l'interfaccia familiare che ami pur sfruttando le altre utili funzioni di Windows 10. Ottieni un menu Start simile a Windows 7 con Classic Shell CORRELATO: Porta Il menu Start di Windows 7 a Windows 10 con Classic Shell Microsoft ha in qualche modo richiamato il menu Start in Windows 10, ma ha subito una grande revisione.
Qual è la differenza tra le edizioni regolari e degli sviluppatori di Firefox?
Mozilla ha recentemente rilasciato una nuova Developer Edition per gli sviluppatori web da usare, ma quanta differenza c'è tra questa e la versione normale di Firefox? Il post di Q & A di SuperUser di oggi contiene le risposte a una curiosa domanda del lettore. La sessione di domande e risposte di oggi ci viene fornita per gentile concessione di SuperUser, una suddivisione di Stack Exchange, un raggruppamento di siti Web di domande e risposte.
