Extension Manager, una delle applicazioni più apprezzate dagli utenti GNOME per installare e amministrare le estensioni della Shell, ha ricevuto un importante aggiornamento con il rilascio della versione 0.7.0. Questa release rappresenta un aggiornamento significativo per il progetto sviluppato con GTK4 e libadwaita.
L’applicazione permette di esplorare il catalogo disponibile su GNOME Extensions, cercare componenti aggiuntivi, installarli, aggiornarli e gestire quelli già presenti nel sistema. Il suo obiettivo è offrire un’alternativa grafica semplice e intuitiva alla gestione delle estensioni attraverso il browser.
La versione 0.7.0 introduce diverse modifiche all’interfaccia e al funzionamento interno, con particolare attenzione alla gestione delle estensioni installate, alla ricerca e alla stabilità generale.
Una delle modifiche più importanti riguarda la riorganizzazione della schermata dedicata ai dettagli delle estensioni. Le informazioni provenienti dalle estensioni installate localmente e quelle disponibili online vengono ora riunite in un’unica visualizzazione, rendendo più semplice consultare caratteristiche e informazioni senza dover passare continuamente da una sezione all’altra.
Anche la gestione delle estensioni installate diventa più pratica grazie all’introduzione di una modalità di selezione multipla, che permette di intervenire contemporaneamente su diversi componenti.
Questa funzionalità risulta particolarmente utile per chi utilizza numerose estensioni e desidera organizzare più rapidamente la propria configurazione GNOME.
Ricerca integrata, anteprime animate e gestione delle estensioni
Tra le novità più interessanti di Extension Manager 0.7.0 troviamo l’integrazione di un nuovo provider di ricerca per le estensioni installate.
La funzione permette di individuare le estensioni direttamente dalla panoramica di GNOME Shell, senza dover necessariamente aprire Extension Manager. Si tratta di un miglioramento che rende più immediato l’accesso ai componenti aggiuntivi utilizzati quotidianamente.
Un’altra modifica riguarda le schermate di anteprima. L’applicazione supporta ora le immagini GIF animate attraverso Glycin, permettendo di visualizzare dimostrazioni più dinamiche delle funzionalità offerte dalle estensioni.
La sezione dedicata alle versioni supportate è stata inoltre ripristinata sotto forma di finestra di dialogo. Gli utenti possono consultare le versioni di GNOME compatibili con una determinata estensione, insieme alla versione attualmente installata sul proprio sistema.
Questo dettaglio è particolarmente importante perché non tutte le estensioni funzionano correttamente con ogni versione di GNOME Shell. Disporre di informazioni più immediate sulla compatibilità aiuta a evitare installazioni potenzialmente problematiche.
La versione 0.7.0 introduce anche una finestra dedicata alla visualizzazione degli errori delle estensioni, migliorando la possibilità di individuare eventuali problemi.
Tra le altre novità troviamo:
- Possibilità di aprire direttamente in Files la cartella di un’estensione.
- Copia del percorso delle estensioni installate a livello di sistema.
- Ripristino del filtro per nascondere le estensioni non supportate.
- Rilevamento automatico dell’assenza di GNOME Shell.
- Miglioramenti alla visualizzazione delle informazioni degli autori.
- Aggiornamento delle traduzioni, con nuove lingue supportate.
Particolarmente utile è anche la possibilità di aprire direttamente la posizione dei file delle estensioni attraverso il file manager. Questa funzione semplifica le operazioni di controllo e manutenzione, soprattutto per gli utenti che preferiscono intervenire manualmente sui componenti installati.
Prestazioni, stabilità e disponibilità di Extension Manager 0.7.0
Oltre alle modifiche visibili, gli sviluppatori hanno dedicato una parte importante del lavoro al miglioramento delle prestazioni e all’eliminazione di problemi interni.
La nuova versione introduce sistemi di caching per le risposte e le immagini, con l’obiettivo di velocizzare il caricamento delle informazioni e rendere più fluida la navigazione nel catalogo delle estensioni.
Sono stati inoltre risolti diversi problemi legati alla gestione della memoria e ai crash. In particolare, il progetto include correzioni per alcuni errori use-after-free che potevano verificarsi durante l’esecuzione di callback asincrone.
Gli interventi riguardano anche alcune regressioni legate al filtro delle versioni GNOME supportate, oltre a diversi problemi minori individuati durante lo sviluppo.
Importante anche il lavoro sulla localizzazione. Extension Manager 0.7.0 amplia il numero di lingue disponibili grazie a nuovi contributi e aggiornamenti delle traduzioni esistenti.
L’applicazione continua a utilizzare GTK4 e libadwaita, mantenendo un’interfaccia coerente con le tecnologie e le linee guida grafiche del desktop GNOME.
Per quanto riguarda l’installazione, gli sviluppatori consigliano di utilizzare il pacchetto Flatpak disponibile su Flathub, che permette di ricevere automaticamente gli aggiornamenti senza dover gestire manualmente la compilazione del programma.
Extension Manager 0.7.0 rappresenta quindi un aggiornamento importante per gli utenti GNOME. La nuova gestione dei dettagli, la ricerca integrata nella Shell, le anteprime animate e le ottimizzazioni interne rendono lo strumento ancora più interessante per chi desidera personalizzare il proprio desktop Linux attraverso le estensioni. Abbiamo testato Extension Manager 0.7.0 su Ubuntu 26.04 LTS (immagini articolo).
Fonte: Extension Manager 0.7.0 – Note di rilascio su GitHub.
Home Extension Manager