// ***************************************************************************** // Copyright (C) 2025 EclipseSource and others. // // This program and the accompanying materials are made available under the // terms of the Eclipse Public License v. 2.0 which is available at // http://www.eclipse.org/legal/epl-2.0. // // This Source Code may also be made available under the following Secondary // Licenses when the conditions for such availability set forth in the Eclipse // Public License v. 2.0 are satisfied: GNU General Public License, version 2 // with the GNU Classpath Exception which is available at // https://www.gnu.org/software/classpath/license.html. // // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0 // ***************************************************************************** import { injectable, inject } from '@theia/core/shared/inversify'; import { ApplicationShell, FrontendApplicationContribution } from '@theia/core/lib/browser'; import { NavigationLocationService } from '@theia/editor/lib/browser/navigation/navigation-location-service'; import { NavigationLocation } from '@theia/editor/lib/browser/navigation/navigation-location'; import { CustomEditorWidget } from './custom-editor-widget'; @injectable() export class CustomEditorNavigationContribution implements FrontendApplicationContribution { @inject(ApplicationShell) protected readonly shell: ApplicationShell; @inject(NavigationLocationService) protected readonly locationService: NavigationLocationService; onStart(): void { this.shell.onDidChangeActiveWidget(({ newValue }) => { if (newValue instanceof CustomEditorWidget && newValue.resource) { this.locationService.navigate(service => service.register(NavigationLocation.create(newValue.resource, { line: 0, character: 0 })) ); } }); } }