Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • BaseWidget
    • EditorWidget

Implements

  • SaveableSource
  • Navigatable
  • StatefulWidget

Index

Constructors

Properties

editor: TextEditor
selectionService: SelectionService

Accessors

  • get onDispose(): Event<void>
  • get saveable(): Saveable

Methods

  • createMoveToUri(resourceUri: URI): undefined | URI
  • getResourceUri(): undefined | URI
  • onActivateRequest(msg: Message): void
  • onAfterAttach(msg: Message): void
  • onAfterShow(msg: Message): void
  • onResize(msg: ResizeMessage): void
  • restoreState(oldState: object): void
  • setSelection(): void
  • storeState(): undefined | object