Theia API Documentation v1.75.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-ext-headless
common/headless-plugin-protocol
PluginType

Enumeration PluginType

Whether a plugin is installed by the system or by a user.

Defined in plugin-utils/lib/common/manifest-types.d.ts:4

Index

Enumeration Members

Enumeration Members

System

System: 0

Defined in plugin-utils/lib/common/manifest-types.d.ts:5

User

User: 1

Defined in plugin-utils/lib/common/manifest-types.d.ts:6

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Enumeration Members

Eclipse Theia Website GitHub

Theia API Documentation v1.75.0

Loading...