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