@theia/terminal 1.34.2 → 1.34.3

package/lib/browser/terminal-link-helpers.js

@@ -1,156 +1,156 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2022 STMicroelectronics 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
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.convertLinkRangeToBuffer = exports.getLinkContext = exports.LinkContext = void 0;
-exports.LinkContext = Symbol('LinkContext');
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation and others. All rights reserved.
- *  Licensed under the MIT License.
- *--------------------------------------------------------------------------------------------*/
-function getLinkContext(terminal, line, maxLinkLength = 2000) {
-    var _a, _b;
-    // The following method is based on VS Code's TerminalLinkDetectorAdapter._provideLinks()
-    // https://github.com/microsoft/vscode/blob/7888ff3a6b104e9e2e3d0f7890ca92dd0828215f/src/vs/workbench/contrib/terminal/browser/links/terminalLinkDetectorAdapter.ts#L51
-    let startLine = line - 1;
-    let endLine = startLine;
-    const lines = [terminal.buffer.active.getLine(startLine)];
-    // Cap the maximum context on either side of the line being provided, by taking the context
-    // around the line being provided for this ensures the line the pointer is on will have
-    // links provided.
-    const maxLineContext = Math.max(maxLinkLength / terminal.cols);
-    const minStartLine = Math.max(startLine - maxLineContext, 0);
-    const maxEndLine = Math.min(endLine + maxLineContext, terminal.buffer.active.length);
-    while (startLine >= minStartLine && ((_a = terminal.buffer.active.getLine(startLine)) === null || _a === void 0 ? void 0 : _a.isWrapped)) {
-        lines.unshift(terminal.buffer.active.getLine(startLine - 1));
-        startLine--;
-    }
-    while (endLine < maxEndLine && ((_b = terminal.buffer.active.getLine(endLine + 1)) === null || _b === void 0 ? void 0 : _b.isWrapped)) {
-        lines.push(terminal.buffer.active.getLine(endLine + 1));
-        endLine++;
-    }
-    const text = getXtermLineContent(terminal.buffer.active, startLine, endLine, terminal.cols);
-    return { text, startLine, lines };
-}
-exports.getLinkContext = getLinkContext;
-// The following code is taken as is from
-// https://github.com/microsoft/vscode/blob/7888ff3a6b104e9e2e3d0f7890ca92dd0828215f/src/vs/workbench/contrib/terminal/browser/links/terminalLinkHelpers.ts#L1
-/**
- * Converts a possibly wrapped link's range (comprised of string indices) into a buffer range that plays nicely with xterm.js
- *
- * @param lines A single line (not the entire buffer)
- * @param bufferWidth The number of columns in the terminal
- * @param range The link range - string indices
- * @param startLine The absolute y position (on the buffer) of the line
- */
-function convertLinkRangeToBuffer(lines, bufferWidth, range, startLine) {
-    const bufferRange = {
-        start: {
-            x: range.startColumn,
-            y: range.startLineNumber + startLine
-        },
-        end: {
-            x: range.endColumn - 1,
-            y: range.endLineNumber + startLine
-        }
-    };
-    // Shift start range right for each wide character before the link
-    let startOffset = 0;
-    const startWrappedLineCount = Math.ceil(range.startColumn / bufferWidth);
-    for (let y = 0; y < Math.min(startWrappedLineCount); y++) {
-        const lineLength = Math.min(bufferWidth, range.startColumn - y * bufferWidth);
-        let lineOffset = 0;
-        const line = lines[y];
-        // Sanity check for line, apparently this can happen but it's not clear under what
-        // circumstances this happens. Continue on, skipping the remainder of start offset if this
-        // happens to minimize impact.
-        if (!line) {
-            break;
-        }
-        for (let x = 0; x < Math.min(bufferWidth, lineLength + lineOffset); x++) {
-            const cell = line.getCell(x);
-            const width = cell.getWidth();
-            if (width === 2) {
-                lineOffset++;
-            }
-            const char = cell.getChars();
-            if (char.length > 1) {
-                lineOffset -= char.length - 1;
-            }
-        }
-        startOffset += lineOffset;
-    }
-    // Shift end range right for each wide character inside the link
-    let endOffset = 0;
-    const endWrappedLineCount = Math.ceil(range.endColumn / bufferWidth);
-    for (let y = Math.max(0, startWrappedLineCount - 1); y < endWrappedLineCount; y++) {
-        const start = (y === startWrappedLineCount - 1 ? (range.startColumn + startOffset) % bufferWidth : 0);
-        const lineLength = Math.min(bufferWidth, range.endColumn + startOffset - y * bufferWidth);
-        const startLineOffset = (y === startWrappedLineCount - 1 ? startOffset : 0);
-        let lineOffset = 0;
-        const line = lines[y];
-        // Sanity check for line, apparently this can happen but it's not clear under what
-        // circumstances this happens. Continue on, skipping the remainder of start offset if this
-        // happens to minimize impact.
-        if (!line) {
-            break;
-        }
-        for (let x = start; x < Math.min(bufferWidth, lineLength + lineOffset + startLineOffset); x++) {
-            const cell = line.getCell(x);
-            const width = cell.getWidth();
-            // Offset for 0 cells following wide characters
-            if (width === 2) {
-                lineOffset++;
-            }
-            // Offset for early wrapping when the last cell in row is a wide character
-            if (x === bufferWidth - 1 && cell.getChars() === '') {
-                lineOffset++;
-            }
-        }
-        endOffset += lineOffset;
-    }
-    // Apply the width character offsets to the result
-    bufferRange.start.x += startOffset;
-    bufferRange.end.x += startOffset + endOffset;
-    // Convert back to wrapped lines
-    while (bufferRange.start.x > bufferWidth) {
-        bufferRange.start.x -= bufferWidth;
-        bufferRange.start.y++;
-    }
-    while (bufferRange.end.x > bufferWidth) {
-        bufferRange.end.x -= bufferWidth;
-        bufferRange.end.y++;
-    }
-    return bufferRange;
-}
-exports.convertLinkRangeToBuffer = convertLinkRangeToBuffer;
-function getXtermLineContent(buffer, lineStart, lineEnd, cols) {
-    // Cap the maximum number of lines generated to prevent potential performance problems. This is
-    // more of a sanity check as the wrapped line should already be trimmed down at this point.
-    const maxLineLength = Math.max(2048 / cols * 2);
-    lineEnd = Math.min(lineEnd, lineStart + maxLineLength);
-    let content = '';
-    for (let i = lineStart; i <= lineEnd; i++) {
-        // Make sure only 0 to cols are considered as resizing when windows mode is enabled will
-        // retain buffer data outside of the terminal width as reflow is disabled.
-        const line = buffer.getLine(i);
-        if (line) {
-            content += line.translateToString(true, 0, cols);
-        }
-    }
-    return content;
-}
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2022 STMicroelectronics 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
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.convertLinkRangeToBuffer = exports.getLinkContext = exports.LinkContext = void 0;
+exports.LinkContext = Symbol('LinkContext');
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation and others. All rights reserved.
+ *  Licensed under the MIT License.
+ *--------------------------------------------------------------------------------------------*/
+function getLinkContext(terminal, line, maxLinkLength = 2000) {
+    var _a, _b;
+    // The following method is based on VS Code's TerminalLinkDetectorAdapter._provideLinks()
+    // https://github.com/microsoft/vscode/blob/7888ff3a6b104e9e2e3d0f7890ca92dd0828215f/src/vs/workbench/contrib/terminal/browser/links/terminalLinkDetectorAdapter.ts#L51
+    let startLine = line - 1;
+    let endLine = startLine;
+    const lines = [terminal.buffer.active.getLine(startLine)];
+    // Cap the maximum context on either side of the line being provided, by taking the context
+    // around the line being provided for this ensures the line the pointer is on will have
+    // links provided.
+    const maxLineContext = Math.max(maxLinkLength / terminal.cols);
+    const minStartLine = Math.max(startLine - maxLineContext, 0);
+    const maxEndLine = Math.min(endLine + maxLineContext, terminal.buffer.active.length);
+    while (startLine >= minStartLine && ((_a = terminal.buffer.active.getLine(startLine)) === null || _a === void 0 ? void 0 : _a.isWrapped)) {
+        lines.unshift(terminal.buffer.active.getLine(startLine - 1));
+        startLine--;
+    }
+    while (endLine < maxEndLine && ((_b = terminal.buffer.active.getLine(endLine + 1)) === null || _b === void 0 ? void 0 : _b.isWrapped)) {
+        lines.push(terminal.buffer.active.getLine(endLine + 1));
+        endLine++;
+    }
+    const text = getXtermLineContent(terminal.buffer.active, startLine, endLine, terminal.cols);
+    return { text, startLine, lines };
+}
+exports.getLinkContext = getLinkContext;
+// The following code is taken as is from
+// https://github.com/microsoft/vscode/blob/7888ff3a6b104e9e2e3d0f7890ca92dd0828215f/src/vs/workbench/contrib/terminal/browser/links/terminalLinkHelpers.ts#L1
+/**
+ * Converts a possibly wrapped link's range (comprised of string indices) into a buffer range that plays nicely with xterm.js
+ *
+ * @param lines A single line (not the entire buffer)
+ * @param bufferWidth The number of columns in the terminal
+ * @param range The link range - string indices
+ * @param startLine The absolute y position (on the buffer) of the line
+ */
+function convertLinkRangeToBuffer(lines, bufferWidth, range, startLine) {
+    const bufferRange = {
+        start: {
+            x: range.startColumn,
+            y: range.startLineNumber + startLine
+        },
+        end: {
+            x: range.endColumn - 1,
+            y: range.endLineNumber + startLine
+        }
+    };
+    // Shift start range right for each wide character before the link
+    let startOffset = 0;
+    const startWrappedLineCount = Math.ceil(range.startColumn / bufferWidth);
+    for (let y = 0; y < Math.min(startWrappedLineCount); y++) {
+        const lineLength = Math.min(bufferWidth, range.startColumn - y * bufferWidth);
+        let lineOffset = 0;
+        const line = lines[y];
+        // Sanity check for line, apparently this can happen but it's not clear under what
+        // circumstances this happens. Continue on, skipping the remainder of start offset if this
+        // happens to minimize impact.
+        if (!line) {
+            break;
+        }
+        for (let x = 0; x < Math.min(bufferWidth, lineLength + lineOffset); x++) {
+            const cell = line.getCell(x);
+            const width = cell.getWidth();
+            if (width === 2) {
+                lineOffset++;
+            }
+            const char = cell.getChars();
+            if (char.length > 1) {
+                lineOffset -= char.length - 1;
+            }
+        }
+        startOffset += lineOffset;
+    }
+    // Shift end range right for each wide character inside the link
+    let endOffset = 0;
+    const endWrappedLineCount = Math.ceil(range.endColumn / bufferWidth);
+    for (let y = Math.max(0, startWrappedLineCount - 1); y < endWrappedLineCount; y++) {
+        const start = (y === startWrappedLineCount - 1 ? (range.startColumn + startOffset) % bufferWidth : 0);
+        const lineLength = Math.min(bufferWidth, range.endColumn + startOffset - y * bufferWidth);
+        const startLineOffset = (y === startWrappedLineCount - 1 ? startOffset : 0);
+        let lineOffset = 0;
+        const line = lines[y];
+        // Sanity check for line, apparently this can happen but it's not clear under what
+        // circumstances this happens. Continue on, skipping the remainder of start offset if this
+        // happens to minimize impact.
+        if (!line) {
+            break;
+        }
+        for (let x = start; x < Math.min(bufferWidth, lineLength + lineOffset + startLineOffset); x++) {
+            const cell = line.getCell(x);
+            const width = cell.getWidth();
+            // Offset for 0 cells following wide characters
+            if (width === 2) {
+                lineOffset++;
+            }
+            // Offset for early wrapping when the last cell in row is a wide character
+            if (x === bufferWidth - 1 && cell.getChars() === '') {
+                lineOffset++;
+            }
+        }
+        endOffset += lineOffset;
+    }
+    // Apply the width character offsets to the result
+    bufferRange.start.x += startOffset;
+    bufferRange.end.x += startOffset + endOffset;
+    // Convert back to wrapped lines
+    while (bufferRange.start.x > bufferWidth) {
+        bufferRange.start.x -= bufferWidth;
+        bufferRange.start.y++;
+    }
+    while (bufferRange.end.x > bufferWidth) {
+        bufferRange.end.x -= bufferWidth;
+        bufferRange.end.y++;
+    }
+    return bufferRange;
+}
+exports.convertLinkRangeToBuffer = convertLinkRangeToBuffer;
+function getXtermLineContent(buffer, lineStart, lineEnd, cols) {
+    // Cap the maximum number of lines generated to prevent potential performance problems. This is
+    // more of a sanity check as the wrapped line should already be trimmed down at this point.
+    const maxLineLength = Math.max(2048 / cols * 2);
+    lineEnd = Math.min(lineEnd, lineStart + maxLineLength);
+    let content = '';
+    for (let i = lineStart; i <= lineEnd; i++) {
+        // Make sure only 0 to cols are considered as resizing when windows mode is enabled will
+        // retain buffer data outside of the terminal width as reflow is disabled.
+        const line = buffer.getLine(i);
+        if (line) {
+            content += line.translateToString(true, 0, cols);
+        }
+    }
+    return content;
+}
 //# sourceMappingURL=terminal-link-helpers.js.map

package/lib/browser/terminal-link-provider.d.ts

@@ -1,52 +1,52 @@
-import { CancellationToken, ContributionProvider, DisposableCollection } from '@theia/core';
-import { PreferenceService } from '@theia/core/lib/browser';
-import { interfaces } from '@theia/core/shared/inversify';
-import { IBufferRange, ILink, ILinkDecorations } from 'xterm';
-import { TerminalWidget } from './base/terminal-widget';
-import { TerminalContribution } from './terminal-contribution';
-import { LinkContext } from './terminal-link-helpers';
-import { TerminalWidgetImpl } from './terminal-widget-impl';
-export declare const TerminalLinkProvider: unique symbol;
-export interface TerminalLinkProvider {
-    provideLinks(line: string, terminal: TerminalWidget, cancelationToken?: CancellationToken): Promise<TerminalLink[]>;
-}
-export declare const TerminalLink: unique symbol;
-export interface TerminalLink {
-    startIndex: number;
-    length: number;
-    tooltip?: string;
-    handle(): Promise<void>;
-}
-export declare const XtermLink: unique symbol;
-export declare const XtermLinkFactory: unique symbol;
-export declare type XtermLinkFactory = (link: TerminalLink, terminal: TerminalWidgetImpl, context: LinkContext) => ILink;
-export declare function createXtermLinkFactory(ctx: interfaces.Context): XtermLinkFactory;
-export declare class TerminalLinkProviderContribution implements TerminalContribution {
-    protected readonly terminalLinkContributionProvider: ContributionProvider<TerminalLinkProvider>;
-    protected readonly xtermLinkFactory: XtermLinkFactory;
-    onCreate(terminalWidget: TerminalWidgetImpl): void;
-    protected provideTerminalLinks(terminal: TerminalWidgetImpl, line: number, provideLinks: (links?: ILink[]) => void): Promise<void>;
-}
-export declare class XtermLinkAdapter implements ILink {
-    text: string;
-    range: IBufferRange;
-    decorations: ILinkDecorations;
-    protected link: TerminalLink;
-    protected terminalWidget: TerminalWidgetImpl;
-    protected context: LinkContext;
-    protected readonly preferences: PreferenceService;
-    protected toDispose: DisposableCollection;
-    protected mouseEnteredHover: boolean;
-    protected mouseLeftHover: boolean;
-    initializeLinkFields(): void;
-    hover(event: MouseEvent, text: string): void;
-    protected scheduleHover(event: MouseEvent): void;
-    protected showHover(event: MouseEvent): void;
-    leave(event: MouseEvent): void;
-    protected cancelHover(): void;
-    activate(event: MouseEvent, text: string): void;
-    protected executeLinkHandler(): void;
-    protected isModifierKeyDown(event: MouseEvent | KeyboardEvent): boolean;
-    protected wasTouchEvent(event: MouseEvent, lastTouchEnd?: TouchEvent): boolean;
-}
+import { CancellationToken, ContributionProvider, DisposableCollection } from '@theia/core';
+import { PreferenceService } from '@theia/core/lib/browser';
+import { interfaces } from '@theia/core/shared/inversify';
+import { IBufferRange, ILink, ILinkDecorations } from 'xterm';
+import { TerminalWidget } from './base/terminal-widget';
+import { TerminalContribution } from './terminal-contribution';
+import { LinkContext } from './terminal-link-helpers';
+import { TerminalWidgetImpl } from './terminal-widget-impl';
+export declare const TerminalLinkProvider: unique symbol;
+export interface TerminalLinkProvider {
+    provideLinks(line: string, terminal: TerminalWidget, cancelationToken?: CancellationToken): Promise<TerminalLink[]>;
+}
+export declare const TerminalLink: unique symbol;
+export interface TerminalLink {
+    startIndex: number;
+    length: number;
+    tooltip?: string;
+    handle(): Promise<void>;
+}
+export declare const XtermLink: unique symbol;
+export declare const XtermLinkFactory: unique symbol;
+export declare type XtermLinkFactory = (link: TerminalLink, terminal: TerminalWidgetImpl, context: LinkContext) => ILink;
+export declare function createXtermLinkFactory(ctx: interfaces.Context): XtermLinkFactory;
+export declare class TerminalLinkProviderContribution implements TerminalContribution {
+    protected readonly terminalLinkContributionProvider: ContributionProvider<TerminalLinkProvider>;
+    protected readonly xtermLinkFactory: XtermLinkFactory;
+    onCreate(terminalWidget: TerminalWidgetImpl): void;
+    protected provideTerminalLinks(terminal: TerminalWidgetImpl, line: number, provideLinks: (links?: ILink[]) => void): Promise<void>;
+}
+export declare class XtermLinkAdapter implements ILink {
+    text: string;
+    range: IBufferRange;
+    decorations: ILinkDecorations;
+    protected link: TerminalLink;
+    protected terminalWidget: TerminalWidgetImpl;
+    protected context: LinkContext;
+    protected readonly preferences: PreferenceService;
+    protected toDispose: DisposableCollection;
+    protected mouseEnteredHover: boolean;
+    protected mouseLeftHover: boolean;
+    initializeLinkFields(): void;
+    hover(event: MouseEvent, text: string): void;
+    protected scheduleHover(event: MouseEvent): void;
+    protected showHover(event: MouseEvent): void;
+    leave(event: MouseEvent): void;
+    protected cancelHover(): void;
+    activate(event: MouseEvent, text: string): void;
+    protected executeLinkHandler(): void;
+    protected isModifierKeyDown(event: MouseEvent | KeyboardEvent): boolean;
+    protected wasTouchEvent(event: MouseEvent, lastTouchEnd?: TouchEvent): boolean;
+}
 //# sourceMappingURL=terminal-link-provider.d.ts.map