Dev.Opera

Log in

  • Web
  • Add-ons
  • Mobile
  • TV
  • Labs
  • Opera 11-12 extensions
  • Opera 15+ extensions
  • Themes
  • Distributing Opera extensions and auto-updates

    By Zi Bin Cheah · Thursday, December 16, 2010 20

    This article talks about methods of distributing your Opera extensions, covering the Opera extensions catalog, MIME type settings if you distribute on your own, and the auto-update mechanism. Read more…

  • Opera extensions prototypes for modifying CSS

    By karlcow · Wednesday, December 15, 2010 161

    This article introduces three Opera extension templates, which you can use to build your own Opera extension that modifies CSS. Use cases include increasing web page readability, adding navigation aids, creating developer tools, and more. Read more…

  • How are Opera Mini widgets different?

    By Opera Software · Tuesday, December 7, 2010 5

    This article details the differences between widgets running on Opera Mini, and widgets running on Opera Mobile (and other similar environments). Read more…

  • Opera Mini widgets authoring guidelines

    By Opera Software · Wednesday, December 1, 2010 52

    This article is a reference guide detailing all the particulars of developing widgets for Opera Mini, as opposed to developing widgets for other environments. Read more…

  • Opera Mini Widgets: an introductory tutorial

    By Daniel Davis · Wednesday, December 1, 2010 41

    This article shows how to build up a simple Opera Mini widget, step by step. Read more…

  • The ins and outs of config.xml

    By karlcow · Thursday, November 25, 2010 4

    When creating extensions or W3C Widgets, you will need to create a config.xml file, which contains the necessary information for software to identify the extension version, the author who created it, the license, etc. In this article we will build up a complete configuration document, showing step by step what all the different possible features do. Read more…

  • Opera extensions: options page

    By Chris Mills · Monday, November 22, 2010 23

    This article details how to use a new feature of Opera extensions called the options page. This is a page in the extension containing preferences the user can set, defined in an options.html file in the root of the extension zip. Read more…

  • Opera extensions developer workflow

    By Andreas Bovens · Monday, November 22, 2010 141

    In this short article, we’ll look at the developer workflow to create extensions, give some tips for extension development, and point out a couple of caveats. It also features text and a video explaining developer mode. Read more…

  • 1
  • …
  • 22
  • 23
  • 24
  • …
  • 32

Add-ons Tools

  • Opera Developer builds
  • Web development extensions

Add-ons Resources

  • Opera 15+ extension docs
  • Add-ons Catalog
  • Opera Developer News
  • Can I use... tables for Opera
  • Opera extension questions on StackOverflow
  • GitHub repositories
  • Shiny Demos

Contribute

  • Submit articles

© 2014 Opera Software ASA.

  • Help/FAQ
  • Terms of service
  • Privacy