Con la distribuzione di nuove estensioni, vengono costantemente aggiunte nuove funzionalità ai browser. In questo modo, l’esperienza “internettiana” diviene più piacevole e arricchita sotto molti aspetti. Il problema si presenta proprio con l’installazione di molti addon, che finiscono con l’essere troppi e di difficile disabilitazione quando se non se ne ha bisogno. A questo proposito, parliamo di Extensioner.
La gestione delle estensioni risulta compito facile quando il loro numero non è troppo importante. Tutt’altra storia si presenta quando l’utente installa molte estensioni sul proprio browser, trovandosi costretto a ritrovare quella che vuole disabilitare (o abilitare) in determinate situazioni. Una soluzione a questo problema arriva da un’altra estensione, per Google Chrome, che prende il nome di Extensioner.
Pur essendo un’ulteriore addon, Extensioner consente la gestione semplice ed efficace di tutti gli altri. Sostanzialmente, permette di raggruppare tutte le estensioni installate in categorie (che possono essere comodamente modificate dall’utente, tramite l’interfaccia di opzioni dell’estensione stessa), in modo da essere in grado di ritrovarle facilmente, disabilitarle o abilitarle a seconda delle proprie esigenze. Inoltre, anche esteticamente, rende più gradevole il nostro browser, restringendo il numero di icone presenti accanto alla barra degli indirizzi a solamente una, quella di Extensioner.
Cliccando su di essa sarà possibile aprire una piccola lista delle categorie create e quindi accedere velocemente a quella che ci interessa per poter ricercare l’addon di cui vogliamo modificare le caratteristiche. Le estensioni abilitate saranno contrassegnate dal colore verde, mentre quelle disabilitate dal colore rosso.
Download: Extensioner
