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

    The navigation location service. It also stores and manages navigation locations and recently closed editors.

    Since we update the navigation locations as a side effect of UI events (seting the selection, etc.) We sometimes record intermediate locations which are not considered the "final" location we're navigating to. In order to remedy, clients should always invoke "startNavigation" before registering locations and invoke "endNavigation" when done. Only when no more nested navigations are active ist the last registered location transfered to the navigation "stack".

    Index

    Constructors

    Properties

    _lastEditLocation: undefined | ContentChangeLocation
    activeNavigations: {
        count: number;
        lastLocation: undefined | NavigationLocation[];
    } = ...
    canRegister: boolean = true
    logger: ILogger
    openerService: OpenerService
    pointer: number = -1
    recentlyClosedEditors: RecentlyClosedEditor[] = []
    stack: NavigationLocation[] = []

    Accessors

    Methods