@eclipse-glsp/theia-integration
Version:
Glue code to integrate GLSP clients into Eclipse Theia
31 lines • 1.78 kB
TypeScript
/********************************************************************************
* Copyright (c) 2020-2023 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 WITH Classpath-exception-2.0
********************************************************************************/
import { Action, ExternalSourceModelChangedHandler, ViewerOptions } from '@eclipse-glsp/client';
import { ApplicationShell, Widget } from '@theia/core/lib/browser';
/**
* Default {@link ExternalSourceModelChangedHandler} for Theia. Notifies the user if the underlying source model
* has changed. Optional a model reload can be triggered.
*
* (bound in Diagram child DI container)
*/
export declare class TheiaSourceModelChangedHandler extends ExternalSourceModelChangedHandler {
protected readonly shell: ApplicationShell;
notifySourceModelChange(sourceModelName: string, options: ViewerOptions): Promise<Action[]>;
protected notifySourceModelChangedWithWidget(widget: Widget, sourceModelName: string): Promise<Action[]>;
protected autoReload(): boolean;
protected showDialog(widgetTitle: string, sourceModelName: string): Promise<boolean | undefined>;
}
//# sourceMappingURL=theia-source-model-changed-handler.d.ts.map