Editor extensions

(sorry for the lack of details. The API is still under development)

Overview

The editor application can be extended through the extension mechanism. Extensions are implemented as python modules. When it is lade the editor will look for a function named __extend__ which accepts a reference to the application object as its only parameter. This method can do anything you want, such as instantiat objects and create new interface elements such as buttons and menu items.

Adding an extension

At the moment, the only way to add an extension is to hand-edit the config file. This file should have a section named [ [extensions]]. The following example shows how to load the "transmogrifier" extension:

    [ [extensions]]
    transmogrifier, /tmp/transmogrifier.py

Example extension