Mozilla Firefox/Estensioni
Le estensioni di Mozilla Firefox sono dei piccoli software che aggiungono nuove funzionalità al browser o modificano quelle già esistenti.
Scaricare e installare un'estensione
[modifica | modifica sorgente]Le estensioni possono venir scaricate direttamente da Mozilla Update o da altri siti.
Per ogni estensione è presente un collegamento alla pagina in cui si trova l'installazione. In questa pagina sono presenti informazione sull'estensione, un'immagine visualizzabile. Dopo aver verificato se la propria versione di Firefox è compatibile con l'estensione, tramite l'apposita lista, basterà cliccare sul link "Install Now". Una volta installata l'estensione perché possa attivarsi occorrerà riavviare firefox.
Una stessa estensione può essere disponibile, oltre che per firefox anche per Mozilla Thunderbird e Mozilla Suite e per altre applicazioni Mozilla.
Disinstallare un'estensione
[modifica | modifica sorgente]Nel caso si voglia rimuovere un'estensione, bisognerà scegliere Strumenti e successivamente Estensioni per aprire Gestione estensioni
All'interno di essa, selezionare l' estensione scelta e premere Disinstalla. Potrebbe essere necessario il riavvio di Firefox
Aggiornare le estensioni
[modifica | modifica sorgente]Se si vuole controllare se fosse disponibile un aggiornamento per le estensioni, aprire Gestione estensioni e, in essa, premere sul pulsante Aggiorna adesso per verificare la disponibilità di aggiornamenti. Se ci sono aggiornamenti non installati, comunque, all'apertura del programma, Mozilla notificherà la disponibilità di aggiornamenti, e la scelta di eseguire o rimandare l'aggiornamento.