Theia API Documentation v1.65.0
    Preparing search index...

    This interface describes some static plugin contributions.

    Index

    Properties

    activationEvents?: string[]
    colors?: ColorDefinition[]
    commands?: PluginCommand[]
    configuration?: PreferenceSchema[]
    configurationDefaults?: JSONObject
    customEditors?: CustomEditor[]
    debuggers?: DebuggerContribution[]
    iconThemes?: IconThemeContribution[]
    keybindings?: Keybinding[]
    languages?: LanguageContribution[]
    localizations?: Localization[]
    menus?: { [location: string]: Menu[] }
    notebookPreload?: notebookPreloadContribution[]
    notebookRenderer?: NotebookRendererContribution[]
    notebooks?: NotebookContribution[]
    problemMatchers?: ProblemMatcherContribution[]
    problemPatterns?: ProblemPatternContribution[]
    resourceLabelFormatters?: ResourceLabelFormatter[]
    snippets?: SnippetContribution[]
    submenus?: Submenu[]
    taskDefinitions?: TaskDefinition[]
    terminalProfiles?: TerminalProfile[]
    views?: { [location: string]: View[] }
    viewsContainers?: { [location: string]: ViewContainer[] }
    viewsWelcome?: ViewWelcome[]