Opera Mobile ondersteunt nu uitbreidingen

Opera Software heeft in oktober 2010 ondersteuning voor extensies aan de webbrowser toegevoegd. Voordien ondersteunde Opera alleen widgets die zelfstandige programma's waren die in hun eigen venster werden uitgevoerd. Met extensie-ondersteuning opgenomen in recente versies van de Opera desktopbrowser, kwam het gebruikelijke assortiment extensies voor allerlei doeleinden. Van uiterlijk en toegankelijkheid gerelateerde extensies tot nieuws, sociale media en tools.

Enige tijd later werden snelkiesextensies geïntroduceerd die gebruik maakten van nieuwe dynamische opties op de snelkiespagina van de browser.

Tot nu toe werden extensies alleen ondersteund door desktopversies van Opera en niet door de mobiele versies van de internetbrowser.

Opera Mobile Extensions

Dit verandert nu met de release van een versie van Opera Mobile met ondersteuning voor extensies. De vrijgegeven versie is een labs-build en Opera merkt op dat het een vroege build is, en dat het op dit moment niet helemaal zeker is dat de functionaliteit van extensies effectief de toekomstige releases van Opera Mobile zal maken.

Ondersteuning voor extensies is nog niet voltooid in de testversie en het is waarschijnlijk dat we in de nabije toekomst nieuwe releases zullen zien die meer gepolijst zijn dan de eerste release.

Alleen Opera Mobile op Android is momenteel beschikbaar met ondersteuning voor extensies als het gaat om ondersteuning voor mobiele apparaten. Opera-gebruikers zonder Android-smartphone kunnen een speciale versie van de Opera Mobile Emulator voor Windows, Mac of Linux downloaden om in plaats daarvan de functionaliteit in de emulator te testen.

Mobiele extensies voor Opera hebben momenteel een aantal bekende problemen die de functionaliteit enigszins beperken:

  • Snelkeuze-extensies worden momenteel niet ondersteund
  • Pop-upvensters worden in plaats daarvan op nieuwe tabbladen geopend, waardoor de functionaliteit van de extensies mogelijk wordt beperkt
  • Extensies die afhankelijk zijn van muis of toetsenbord werken mogelijk niet zoals verwacht
  • Knoppen kunnen wazig zijn op schermen met een hoge DPI

Extensies kunnen worden geïnstalleerd in de officiële Opera Extensions Gallery op de Opera-website. Gebruikers van Opera Mobile vinden alle geïnstalleerde extensies met een klik op het pictogram Extensies in het Opera-menu in de browser. Hier is het dan mogelijk om extensies uit te schakelen of te verwijderen, of toegang te krijgen tot de extensie-instellingen indien aanwezig. Er is ook een optie om extensies van een lokale bron te installeren.

Hoewel het niet 100% duidelijk is dat extensies worden ondersteund in stabiele versies van Opera, is het waarschijnlijk dat we uiteindelijk ondersteuning zullen toevoegen als de ontwikkelaars onderweg geen kritieke problemen tegenkomen.