Interface DecorationsMain

interface DecorationsMain {
    $onDidChange(handle: number, resources: null | UriComponents[]): void;
    $registerDecorationProvider(handle: number): Promise<void>;
    $unregisterDecorationProvider(handle: number): void;
}

Index

Methods

$onDidChange $registerDecorationProvider $unregisterDecorationProvider

Methods

$onDidChange

$onDidChange(handle: number, resources: null | UriComponents[]): void
Parameters
- handle: number
- resources: null | UriComponents[]
Returns void
- Defined in plugin-ext/lib/common/plugin-api-rpc.d.ts:802

$registerDecorationProvider

$registerDecorationProvider(handle: number): Promise<void>
Parameters
- handle: number
Returns Promise<void>
- Defined in plugin-ext/lib/common/plugin-api-rpc.d.ts:800

$unregisterDecorationProvider

$unregisterDecorationProvider(handle: number): void
Parameters
- handle: number
Returns void
- Defined in plugin-ext/lib/common/plugin-api-rpc.d.ts:801