Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

Index

Constructors

  • Returns EditorManager

Properties

_activeEditor: undefined | EditorWidget
_currentEditor: undefined | EditorWidget
editorCounters: Map<string, number> = ...
id: string = EditorWidgetFactory.ID
label: "Code Editor" = 'Code Editor'
onActiveEditorChanged: Event<undefined | EditorWidget> = ...

Emit when the active editor is changed.

onActiveEditorChangedEmitter: Emitter<undefined | EditorWidget> = ...
onCurrentEditorChanged: Event<undefined | EditorWidget> = ...

Emit when the current editor is changed.

onCurrentEditorChangedEmitter: Emitter<undefined | EditorWidget> = ...
preferenceService: PreferenceService
recentlyVisibleIds: string[] = []

Accessors

  • The most recently activated editor (which might not have the focus anymore, hence it is not active). If no editor has focus, e.g. when a context menu is shown, the active editor is undefined, but current might be the editor that was active before the menu popped up.

    Returns undefined | EditorWidget

Methods

  • canHandle(uri: URI, options?: WidgetOpenerOptions): number
  • createCounterForUri(uri: URI): number
  • getCounterForUri(uri: URI): undefined | number
  • getOrCreateCounterForUri(uri: URI): number
  • getSelection(widget: EditorWidget, selection: RecursivePartial<Range>): undefined | Range | Position
  • init(): void
  • updateActiveEditor(): void
  • updateCurrentEditor(): void