Theia API Documentation v1.65.0
    Preparing search index...

    Generic base class for OpenHandlers that are opening a widget for a given URI.

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    _activeEditor: undefined | EditorWidget
    _currentEditor: undefined | EditorWidget
    commands: CommandService
    editorCounters: Map<string, number> = ...
    id: string = EditorWidgetFactory.ID

    The widget open handler id.

    • A widget factory for this id should be registered.
    • Subclasses should not implement WidgetFactory to avoid exposing capabilities to create a widget outside of WidgetManager.
    label: string = ...
    navigationLocationService: NavigationLocationService
    onActiveEditorChanged: Event<undefined | EditorWidget> = ...

    Emit when the active editor is changed.

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

    Emit when a new widget is created.

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

    Emit when the current editor is changed.

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

    Accessors

    • get all(): W[]

      Retrieves all open widgets that have been opened by this handler.

      Returns W[]

      all open widgets for this open handler.

    • get currentEditor(): undefined | EditorWidget

      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