Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PluginPackage

This interface describes a package.json object.

Hierarchy

  • PluginPackage

Index

Properties

activationEvents?: string[]
browser?: string
description: string
displayName: string
engines: {}

Type declaration

    extensionDependencies?: string[]
    extensionKind?: ("ui" | "workspace")[]
    extensionPack?: string[]
    icon?: string
    l10n?: string
    main?: string
    name: string
    packagePath: string
    publisher: undefined | string
    theiaPlugin?: { backend?: string; frontend?: string }

    Type declaration

    • Optional backend?: string
    • Optional frontend?: string
    version: string