Skip to content

Extensions

The Extensions API allows developers to enhance and extend the functionality of their applications by providing a mechanism to add custom extensions. This documentation covers the basic usage and available functions of the Extensions API.

Basic Usage

The Basic Usage section demonstrates how to use the Extensions API to retrieve and utilize extensions:

import { extensions } from "sdk/extensions";
import { response } from "sdk/http";

const mainmenu = [];
const menuExtensions = extensions.getExtensions("ide-menu");
for (let i = 0; i < menuExtensions.length; i++) {
    const extensionPath = menuExtensions[i];

    const { getMenu } = await import(`${extensionPath}`);
    const menu = getMenu();
    mainmenu.push(menu);
}

response.println(JSON.stringify(mainmenu));

Functions


Function Description Returns
getExtensionPoints() Returns an array of the extension points names array of string
getExtensions(extensionPoint) Returns an array of the extensions names for the specified extension point array of string