Microsoft rilascia Dev Home Preview 0.7 con la nuova estensione Azure e altro ancora

Microsoft ha appena rilasciato l’ultima versione di anteprima 0.7 della sua app Dev Home che è stata lanciata per la prima volta a maggio 2023 come parte di Build 2023. Come ricordiamo che l’app consente agli sviluppatori di accedere a una serie di funzionalità diverse, tra cui Dev Drive lanciato di recente, la configurazione WinGet e gli spazi di codice GitHub, tutti insieme in un unico posto.

La nuova versione disponibile per il download in Microsoft Store aggiunge l’estensione Azure per l’app, che include la clonazione del repository per Azure DevOps ( ADO) e widget ADO. È inoltre disponibile un elenco di modifiche e correzioni di bug nella versione 0.7.

Estensione azzurra

• Abbiamo appena rilasciato l’estensione Azure per Dev Home! Il repository può essere trovato qui: https://github.com/microsoft/devhomeazureextension
• L’implementazione iniziale include la clonazione del repository per Azure DevOps (ADO) e i widget ADO.

Correzioni di accessibilità

• Il testo ora dovrebbe andare a capo anziché essere tagliato quando il ridimensionamento del testo è maggiore del 100% o la finestra è troppo stretta.
• Ora puoi navigare tramite tastiera verso tutti gli elementi nella vista di navigazione.
• L’Assistente vocale ora dovrebbe annunciare correttamente i componenti nella pagina di installazione dell’app di Configurazione macchina.

I cambiamenti

• Ora è disponibile una pagina delle funzionalità sperimentali in Impostazioni. Non disponiamo ancora di funzionalità sperimentali, ma ora abbiamo un posto dove abilitarle una volta sviluppate.
• Le dimensioni dei widget disabilitati ora sono nascoste dal menu contestuale, anziché apparire semplicemente come disabilitate.
• Ora ti verrà chiesto di accedere (se non l’hai già fatto) quando tenti di clonare un repository privato tramite URL.
• Ora è disponibile un’opzione per segnalare un problema relativo alla documentazione dalla pagina Feedback

Correzioni di bug

• Quando si aggiungono più repository da clonare, ora è possibile selezionare un percorso di clonazione diverso quando si rientra nella finestra di dialogo di selezione del repository e i repository selezionati in precedenza non aggiorneranno la posizione di clonazione.
• La barra del titolo ora dovrebbe aggiornare correttamente i suoi colori quando si cambia tema.
• I widget zombie non dovrebbero più restare in giro per sempre.
• Ora puoi effettivamente personalizzare un widget, invece di sostituire il widget con uno nuovo quando fai clic su Personalizza.
• Dev Home non dovrebbe più bloccarsi quando si fa clic su Aggiungi widget.
• Le finestre secondarie ora dovrebbero seguire il tema del genitore.

Gli sviluppatori possono ottenere maggiori informazioni sull’app Dev Home sul sito dei documenti di Microsoft. Possono anche fornire idee per nuove funzionalità dell’app o segnalare eventuali bug al repository GitHub di Microsoft.

Al momento, non si sa quando l’app Dev Home uscirà dalla fase di anteprima e diventerà generalmente disponibile per gli sviluppatori Windows.