Le estensioni sono piccoli programmi (o plug-in) che aggiungono nuove funzionalità a Mozilla Firefox. Possono apportare un semplice bottone per le barre degli strumenti ma anche una funzionalità completamente nuova, come le mouse gestures. Il grande vantaggio delle estensioni è che permettono a Mozilla Firefox di rimanere leggero. Se si necessita di maggiori funzionalità, è possibile scaricare l’estensione appropriata ma è anche possibile crearne una propria.

Ecco una lista delle estensioni FireFox più utili (secondo item5):

Nota: L’elenco completo lo troverete su Mozilla.org.

About site 0.1.1

Adblock 0.5.2.039

Allow Right-Click 0.1.1

Almost Full Screen 0.10

Bandwidth Tester 0.4.1

BlogThis 0.2.1

BugMeNot 0.6.1

ChromEdit 0.1.1.1

ColorZilla 0.6.5

Copy Plain Text 0.2.1

Copy URL + 1.2.2

Disable Targets For Downloads 0.8

downTHEMall! 0.9.4

Ext2Abc 0.2.1

Extended Statusbar 1.0

FireFTP 0.86.1

Foxylicious 0.2

Gcache 0.2.1

Gmail Notifier 0.3.3

ieview 0.84

Image Toolbar 0.5

Image-Show-Hide 0.1.4.4

Linky 2.2.0

ListZilla 0.5.1

Live HTTP Headers 0.10

Local Install 1.2.3

mozBlogBar 1.0.1

Mozilla Archive Format 0.4.3

Popup ALT Attribute 1.3.2004102501

PrefBar 2.3.1

refspoof 0.6

ReloadEvery 0.5

Search Status 1.0.4

SecurePassword Generator 0.5.1

Session Saver 0.2

SwiftTabs 0.1

SwitchProxy Tool 1.3.1

Tabbrowser Preferences 1.1.1

Tweak Network 1.0

undoclosetab 20041125.2

View Cookies 1.2

ViewSourceWith 0.0.2

Wayback 0.1.1

Web Developer 0.8

x 0.6.3

Per installare un estensione dalla pagina indicata fare click sul link install dell’estensione relativa oppure salvare il file sul proprio pc e trascinarlo sulla finestra del browser. Quando l’installazione è completa, riavviare il browser (tutte le finestre aperte!). Dopodiché le istruzioni variano a seconda dell’estensione installata. Alcune estensioni aggiungono un bottone per le barre degli strumenti che richede di essere aggiunto manualmente selezionando Visualizza > Barre degli strumenti > Personalizza… dai menu e trascinato sulla barra desiderata. Altre estensioni aggiungono nuove impostazioni alla finestra delle Opzioni. Selezionare Strumenti > Estensioni, scegliere l’estensione e quindi cliccare su Impostazioni per accedere a queste impostazioni.

Altrei info su Mozillaitalia.org

Condividi