La popolare estensione per GNOME Shell, Dash to Panel, ha ricevuto un importante aggiornamento che introduce nuove funzionalità e miglioramenti significativi. Questo update consente agli utenti di trasformare facilmente il pannello in una dock, offrendo maggiore flessibilità nella personalizzazione dell’ambiente desktop.
Trasformare il pannello in una Dock
Una delle novità più rilevanti è la possibilità di convertire Dash to Panel in una dock dinamica. Per attivare questa modalità, è sufficiente accedere alle preferenze dell’estensione e abilitare l’opzione “Lunghezza dinamica del pannello”. Successivamente, è possibile regolare la spaziatura del pannello, la dimensione delle icone, i margini (per ottenere un effetto di dock flottante) e il raggio dei bordi per personalizzare l’aspetto secondo le proprie preferenze.
Gestione delle finestre in stile Unity
L’aggiornamento introduce anche un nuovo approccio alla gestione delle finestre, ispirato alla funzionalità “app spread” presente nel desktop Unity. Attivando l’opzione “Toggle Single / Spread Multiple” nel menu delle azioni al clic, è possibile visualizzare una panoramica delle finestre aperte di una specifica applicazione direttamente nell’Overview di GNOME, facilitando la selezione della finestra desiderata.
Badge di notifica e icone in scala di grigi
Tra le altre novità, Dash to Panel ora supporta badge di notifica sulle icone delle applicazioni, permettendo di visualizzare rapidamente la presenza di notifiche non lette. Inoltre, è stata aggiunta un’opzione per visualizzare le icone delle applicazioni in scala di grigi, offrendo un aspetto più uniforme e minimalista al pannello.
Personalizzazione del menu contestuale
Un’altra funzionalità degna di nota è la possibilità di modificare, rimuovere o aggiungere scorciatoie personalizzate nel menu contestuale delle applicazioni presenti nel pannello. Questa opzione offre agli utenti un controllo ancora maggiore sulla personalizzazione dell’ambiente desktop, adattandolo alle proprie esigenze e preferenze.
Supporto per GNOME 48 e altri miglioramenti
L’aggiornamento include anche il supporto per GNOME 48, assicurando la compatibilità dell’estensione con le versioni più recenti dell’ambiente desktop. Sono stati apportati vari miglioramenti visivi e funzionali, come la possibilità di visualizzare le sovrapposizioni dei tasti di scelta rapida su ogni monitor e una gestione più coerente delle impostazioni per monitor sia su X11 che su Wayland.
In conclusione, questo aggiornamento di Dash to Panel arricchisce ulteriormente l’esperienza utente su GNOME, offrendo strumenti avanzati per la personalizzazione e la gestione efficiente delle applicazioni. Gli utenti interessati possono scaricare e installare l’estensione direttamente dal sito delle estensioni GNOME.