Vorrei aumentare la dimensione del carattere utilizzato in explorer.exe
(aka Risorse del computer) per elencare file / cartelle. Non desidero aumentare / ridurre il DPI complessivo dello schermo. Vorrei solo cambiare il carattere dell'interfaccia utente di sistema utilizzato da Windows 10. So usare il registro di sistema.