Nell'ottobre 2010, Opera Software ha aggiunto il supporto per le estensioni al browser web. Prima di ciò, Opera supportava solo widget che erano programmi autonomi eseguiti nella propria finestra. Con il supporto delle estensioni incluso nelle ultime versioni del browser desktop Opera, è arrivato il solito assortimento di estensioni per tutti i tipi di scopi. Dalle estensioni relative all'aspetto e all'accessibilità a notizie, social e strumenti.
Qualche tempo dopo, sono state introdotte estensioni di selezione rapida che hanno fatto uso di nuove opzioni dinamiche sulla pagina di selezione rapida del browser.
Fino ad ora, le estensioni erano supportate solo dalle versioni desktop di Opera e non dalle versioni mobili del browser Internet.
Estensioni di Opera Mobile
Questo sta cambiando ora con il rilascio di una versione di Opera Mobile con supporto per le estensioni. La versione rilasciata è una build da laboratorio e Opera nota che è una build iniziale e che non è "del tutto sicuro a questo punto che la funzionalità delle estensioni diventerà effettivamente versioni future di Opera Mobile".
Il supporto per le estensioni non è ancora stato finalizzato nella versione di prova ed è probabile che vedremo nuove versioni in un prossimo futuro che sono più raffinate rispetto alla versione iniziale.
Solo Opera Mobile su Android è attualmente disponibile con supporto per estensioni quando si tratta di supporto per dispositivi mobili. Gli utenti di Opera senza smartphone Android possono scaricare una versione speciale dell'emulatore di Opera Mobile per Windows, Mac o Linux per testare invece la funzionalità nell'emulatore.
Le estensioni mobili per Opera presentano attualmente alcuni problemi noti che limitano in qualche modo la funzionalità:
- Gli interni con selezione rapida non sono attualmente supportati
- Le finestre popup vengono invece avviate in nuove schede, il che può limitare la funzionalità delle estensioni
- Le estensioni che si basano su mouse o tastiera potrebbero non funzionare come previsto
- I pulsanti potrebbero essere sfocati su schermi con DPI elevati
Le estensioni possono essere installate nella Galleria ufficiale delle estensioni di Opera sul sito Web Opera. Gli utenti di Opera Mobile trovano tutte le estensioni installate con un clic sull'icona Estensioni nel menu Opera nel browser. Qui è quindi possibile disabilitare o disinstallare le estensioni o accedere alle impostazioni delle estensioni, se fornite. C'è anche un'opzione per installare estensioni da una fonte locale.
Anche se non è chiaro al 100% che le estensioni saranno supportate nelle versioni stabili di Opera, è probabile che vedremo il supporto eventualmente aggiunto se gli sviluppatori non incontrano problemi critici lungo la strada.
