Come rendere la barra delle applicazioni di Windows Miniature più grandi (senza software)
Quando si posiziona il puntatore del mouse su un pulsante nella barra delle applicazioni, Windows mostra un'anteprima di tale finestra per impostazione predefinita, ma quella l'anteprima è solitamente molto piccola. Fortunatamente con una rapida modifica del registro, possiamo rendere più grandi quelle miniature.
La cosa grandiosa di questo suggerimento è che non è necessario scaricare alcune utility sfuggenti da alcuni siti Web di cui probabilmente non ci si deve fidare. E una volta che hai finito, le miniature smetteranno di essere minuscole e in realtà saranno utili.
Come modificare la dimensione della barra delle applicazioni Miniature
Iniziare usando WIN + R per aprire la finestra di dialogo Esegui, digitare regedit.exe, premi invio, quindi scorri verso il basso fino alla seguente chiave di registro:
HKEY_CURRENT_USER Software Microsoft Windows CurrentVersion Explorer Taskband
Una volta che sei lì, fai clic destro sul lato destro e scegli Nuovo -> DWORD a 32 bit, nominarlo MinThumbSizePx e assegnargli un valore decimale pari o inferiore a 500. Questo valore sarà espresso in pixel, come puoi immaginare.
Dopo aver apportato questa modifica, dovrai riavviare Explorer, operazione che può essere eseguita effettuando una disconnessione rapida o utilizzando il metodo segreto per riavviare Explorer, fare clic con il pulsante destro del mouse sul menu Start tenendo contemporaneamente premuto i tasti CTRL + MAIUSC. In Windows 7, dovrai farlo dal menu Start stesso, mentre in Windows 8 o 10 lo farai sulla stessa barra delle applicazioni.
Una volta usciti da Explorer, la tua barra delle applicazioni sparirà, quindi usa la combinazione di tasti CTRL + MAIUSC + ESC per aprire Task Manager, vai su File -> Esegui, quindi digita explorer e premi il tasto Invio.
Proprio così, le miniature della tua barra delle applicazioni essere più grande Anche se avresti potuto disconnetterti e rientrare.
Premi Play and Go: i mix giornalieri di Spotify sono le migliori playlist automatiche ancora
Ho bisogno di ascoltare la musica mentre lavoro. È o quello, o ascolto il suono del mio stesso respiro, che è abbastanza per spingermi in uno stato di disperazione esistenziale. Ma la parte più difficile dell'ascolto della musica ogni giorno è decidere cosa mettere in scena. Voglio solo premere play e andare così ho qualcosa per riempire il silenzio.
I migliori server DNS pubblici gratuiti
Stai cercando di passare dal tuo ISP DNS a un altro provider? Sono stato sorpreso di scoprire che l'utilizzo di un server DNS pubblico gratuito da una società rispettabile era di gran lunga migliore rispetto all'utilizzo del mio DNS ISP locale, soprattutto quando viaggiavo in paesi stranieri.
