Puntos de extensión

Los puntos de extensión definen nuevos puntos de función para la plataforma en los que otros plug-ins pueden conectarse. La página Puntos de extensión es el lugar para añadir, eliminar y editar puntos de extensión declarados por el plug-in.

Puntos de extensión

Un punto de extensión tiene tres atributos:

Aunque esquema es un atributo opcional, es muy aconsejable especificar un esquema, de forma que el PDE pueda utilizarlo para facilitar a otros desarrolladores el uso del punto de extensión.