UNPKG

sprotty-vscode

Version:

Glue code to integrate Sprotty diagrams in VSCode extensions (extension part)

178 lines (159 loc) 7.63 kB
/******************************************************************************** * Copyright (c) 2022 TypeFox 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 { SprottyDiagramIdentifier } from 'sprotty-vscode-protocol'; import * as vscode from 'vscode'; import { Messenger } from 'vscode-messenger'; import { isWebviewPanel, IWebviewEndpointManager, OpenDiagramOptions, WebviewContainer, WebviewEndpoint } from './webview-endpoint'; import { createFileUri, createWebviewHtml, createWebviewTitle, getExtname, serializeUri } from './webview-utils'; export interface WebviewPanelManagerOptions { extensionUri: vscode.Uri messenger?: Messenger defaultDiagramType?: string supportedFileExtensions?: string[] singleton?: boolean createWebviewHtml?: (identifier: SprottyDiagramIdentifier, container: WebviewContainer) => string configureEndpoint?: (endpoint: WebviewEndpoint) => void localResourceRoots?: vscode.Uri[] } export interface OpenPanelOptions extends OpenDiagramOptions { preserveFocus?: boolean; } /** * This class manages freestyle webview panels. In contrast to custom editor webviews or webview views, * VS Code does not prescribe a specific lifecycle to webview panels, so this service provides a means * to keep track of the opened diagram webviews. */ export class WebviewPanelManager implements IWebviewEndpointManager { protected static viewCount = 0; readonly endpoints: WebviewEndpoint[] = []; readonly messenger: Messenger; constructor(readonly options: WebviewPanelManagerOptions) { this.messenger = options.messenger ?? new Messenger(); } /** * Find the webview endpoint of a webview panel that is currently active. */ findActiveWebview(): WebviewEndpoint | undefined { for (const endpoint of this.endpoints) { if (isWebviewPanel(endpoint.webviewContainer) && endpoint.webviewContainer.active) { return endpoint; } } return undefined; } /** * Open a webview panel for the given URI. Depending on the `singleton` option, this either replaces a * previously opened diagram or creates a new panel. */ async openDiagram(uri: vscode.Uri, options: OpenPanelOptions = {}): Promise<WebviewEndpoint | undefined> { const identifier = await this.createDiagramIdentifier(uri, options.diagramType); if (!identifier) { return undefined; } let endpoint = this.options.singleton ? this.endpoints[0] : this.endpoints.find(ep => ep.diagramIdentifier?.uri === identifier.uri && ep.diagramIdentifier?.diagramType === identifier.diagramType); if (endpoint) { if (endpoint.diagramIdentifier) { identifier.clientId = endpoint.diagramIdentifier.clientId; } endpoint.webviewContainer.title = createWebviewTitle(identifier); endpoint.reloadContent(identifier); if (options.reveal && isWebviewPanel(endpoint.webviewContainer)) { endpoint.webviewContainer.reveal(endpoint.webviewContainer.viewColumn, options.preserveFocus); } } else { endpoint = this.createEndpoint(identifier); endpoint.webviewContainer.onDidDispose(() => this.didCloseWebview(endpoint!)); this.endpoints.push(endpoint); } return endpoint; } protected createEndpoint(identifier: SprottyDiagramIdentifier): WebviewEndpoint { const webviewContainer = this.createWebview(identifier); const participant = this.messenger.registerWebviewPanel(webviewContainer); const endpoint = new WebviewEndpoint({ webviewContainer, messenger: this.messenger, messageParticipant: participant, identifier }); this.options.configureEndpoint?.(endpoint); return endpoint; } /** * Create and configure a webview panel. The default implementation sets `localResourceRoots` to the `pack` subfolder of the extension * host and `scriptUri` to `pack/webview.js`. Please configure your bundler to generate such an output file from the Sprotty webview * frontend. In case you need to use different settings or change the HTML content, you can override this functionality in a subclass. */ protected createWebview(identifier: SprottyDiagramIdentifier): vscode.WebviewPanel { const extensionPath = this.options.extensionUri.fsPath; const title = createWebviewTitle(identifier); const diagramPanel = vscode.window.createWebviewPanel( identifier.diagramType || 'diagram', title, vscode.ViewColumn.Beside, { localResourceRoots: this.options.localResourceRoots ?? [createFileUri(extensionPath, 'pack')], enableScripts: true, retainContextWhenHidden: true } ); if (this.options.createWebviewHtml) { diagramPanel.webview.html = this.options.createWebviewHtml(identifier, diagramPanel); } else { const scriptUri = createFileUri(extensionPath, 'pack', 'webview.js'); diagramPanel.webview.html = createWebviewHtml(identifier, diagramPanel, { scriptUri }); } return diagramPanel; } protected async createDiagramIdentifier(uri: vscode.Uri, diagramType?: string): Promise<SprottyDiagramIdentifier | undefined> { if (!diagramType) { diagramType = await this.getDiagramType(uri); if (!diagramType) { return undefined; } } const clientId = diagramType + '_' + WebviewPanelManager.viewCount++; return { diagramType, uri: serializeUri(uri), clientId }; } /** * Determine a diagram type from the given URI. The default implementation returns the `defaultDiagramType` option * if the URI matches the `supportedFileExtensions` or no file extensions were provided. If no default diagram type * was provided, the file extension is used instead. */ protected getDiagramType(uri: vscode.Uri): Promise<string | undefined> | string | undefined { const extname = getExtname(uri); if (!this.options.supportedFileExtensions || this.options.supportedFileExtensions.includes(extname)) { if (this.options.defaultDiagramType) { return this.options.defaultDiagramType; } if (extname.length >= 2) { // Fallback: use the file extension after the '.' as diagram type return extname.substring(1); } } } protected didCloseWebview(endpoint: WebviewEndpoint): void { const index = this.endpoints.indexOf(endpoint); if (index >= 0) { this.endpoints.splice(index, 1); } } }