Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • BaseWidget
    • EditorWidget

Implements

  • SaveableSource
  • Navigatable
  • StatefulWidget

Index

Constructors

Properties

currentTabbar: undefined | TabBar<Widget>
editor: TextEditor
selectionService: SelectionService
toDisposeOnTabbarChange: DisposableCollection = ...

Accessors

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

Methods

  • checkForTabbarChange(): void
  • createMoveToUri(resourceUri: URI): undefined | URI
  • getResourceUri(): undefined | URI
  • handleTabBarChange(oldTabBar?: TabBar<Widget>, newTabBar?: TabBar<Widget>): void
  • 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