Options
All
  • Public
  • Public/Protected
  • All
Menu

Class EditorManager

Hierarchy

Implements

Index

Properties

Protected _activeEditor

_activeEditor: EditorWidget | undefined

Protected _currentEditor

_currentEditor: EditorWidget | undefined

Protected Readonly editorCounters

editorCounters: Map<string, number> = new Map<string, number>()

Readonly id

id: string = EditorWidgetFactory.ID

Readonly label

label: "Code Editor" = "Code Editor"

Readonly onActiveEditorChanged

onActiveEditorChanged: Event<EditorWidget | undefined> = this.onActiveEditorChangedEmitter.event

Emit when the active editor is changed.

Protected Readonly onActiveEditorChangedEmitter

onActiveEditorChangedEmitter: Emitter<undefined | EditorWidget> = new Emitter<EditorWidget | undefined>()

Readonly onCreated

onCreated: Event<EditorWidget> = this.onCreatedEmitter.event

Emit when a new widget is created.

Protected Readonly onCreatedEmitter

onCreatedEmitter: Emitter<W> = new Emitter<W>()

Readonly onCurrentEditorChanged

onCurrentEditorChanged: Event<EditorWidget | undefined> = this.onCurrentEditorChangedEmitter.event

Emit when the current editor is changed.

Protected Readonly onCurrentEditorChangedEmitter

onCurrentEditorChangedEmitter: Emitter<undefined | EditorWidget> = new Emitter<EditorWidget | undefined>()

Protected Readonly recentlyVisibleIds

recentlyVisibleIds: string[] = []

Protected Readonly shell

Protected Readonly widgetManager

widgetManager: WidgetManager

Accessors

activeEditor

all

currentEditor

  • 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 EditorWidget | undefined

Protected recentlyVisible

Methods

Protected addRecentlyVisible

canHandle

Protected checkCounterForWidget

closeAll

Protected createCounterForUri

  • createCounterForUri(uri: URI): number

Protected createWidgetOptions

Protected doOpen

Protected extractIdFromWidget

getByUri

Protected getCounterForUri

  • getCounterForUri(uri: URI): number | undefined

getOrCreateByUri

Protected getOrCreateCounterForUri

  • getOrCreateCounterForUri(uri: URI): number

Protected getOrCreateWidget

Protected getSelection

Protected getWidget

Protected init

  • init(): void

open

openToSide

Protected removeFromCounter

Protected removeRecentlyVisible

Protected revealSelection

Protected serializeUri

  • serializeUri(uri: URI): string

Protected setActiveEditor

Protected setCurrentEditor

Protected tryGetPendingWidget

Protected updateActiveEditor

  • updateActiveEditor(): void

Protected updateCurrentEditor

  • updateCurrentEditor(): void