Pop Shell, l’estensione della shell GNOME per l’affiancamento delle finestre utilizzata per impostazione predefinita in Pop! _OS 20.04 e versioni successive, è stata recentemente aggiornata con un supporto migliorato per l’affiancamento delle finestre basato sul mouse.
Con la suddivisione automatica abilitata, ora sarai in grado di vedere dove puoi posizionare una finestra, trascinandola con il mouse. Puoi persino creare pile di finestre usando il mouse ora.
Puoi vedere in anteprima questa funzione in un tweet di System76 (i crediti per l’immagine nella parte superiore di questa pagina sono anche per System76):
Nuovo avviso sulla funzione di affiancamento automatico! Pop! _OS Auto Tiling: disposizione della finestra guidata dal mouse. Dai un’occhiata e scopri come può migliorare il tuo flusso di lavoro. # system76 #popos #autotiling #nuova caratteristica #mettere in guardia #linux #distro pic.twitter.com/onrx7D6H6A
– System76 (@ system76) 11 febbraio 2021
Sebbene ora possa essere utilizzato facilmente con un mouse, Pop Shell continua a offrire potenti scorciatoie da tastiera che puoi vedere sotto (screenshot creato costruendo scorciatoie di shell da oggi; è soggetto a modifiche):
Il commit che aggiunge un supporto migliorato per la piastrellatura basata sul mouse è già disponibile per gli utenti Pop! _OS 20.04 e 20.10, poiché è stato pubblicato ieri sul PPA Pop! _OS.
Dall’ultima versione stabile di Pop Shell (1.2.0), questa estensione GNOME Shell di affiancamento ha ricevuto vari altri miglioramenti, come la possibilità di controllare le funzionalità di Pop Shell dal programma di avvio (Super + /; come attivare / disattivare i titoli delle finestre, attivare / disattivare l’impilamento, ecc.), uno script per sospendere il sistema dal programma di avvio e il supporto per i tasti del tastierino numerico nelle combinazioni di tasti predefinite, insieme ad alcune correzioni.
Potresti anche voler leggere la funzione di impilamento delle finestre di Pop Shell.
Pop Shell è disponibile solo per impostazione predefinita in Pop! _OS, tuttavia, può essere utilizzato su qualsiasi distribuzione Linux con GNOME Shell 3.36 o 3.38. Puoi trovare le istruzioni per installarlo su Ubuntu, Debian, Fedora, ecc., Oltre a ulteriori informazioni su Pop Shell, su Linux Uprising. Tieni presente che per ottenere le funzionalità più recenti, dovrai installare l’ultima Pop Shell da git.
