UNPKG

@tobejacob/myextension

Version:

The example extension demonstrates how to contribute a custom widget (i.e. a view or editor) to Eclipse Theia. Furthermore, the template contains an example unit test.

15 lines 674 B
import * as React from 'react'; import { ReactWidget } from '@theia/core/lib/browser/widgets/react-widget'; import { MessageService } from '@theia/core'; import { Message } from '@theia/core/lib/browser'; export declare class MyextensionWidget extends ReactWidget { static readonly ID = "myextension:widget"; static readonly LABEL = "Myextension Widget"; protected readonly messageService: MessageService; protected init(): void; protected doInit(): Promise<void>; render(): React.ReactElement; protected displayMessage(): void; protected onActivateRequest(msg: Message): void; } //# sourceMappingURL=myextension-widget.d.ts.map