diff --git a/packages/plugin/src/theia.d.ts b/packages/plugin/src/theia.d.ts index 5fccb1e109bf1..28dade262ef30 100644 --- a/packages/plugin/src/theia.d.ts +++ b/packages/plugin/src/theia.d.ts @@ -3097,7 +3097,7 @@ export module '@theia/plugin' { /** * A link on a terminal line. */ - export interface TerminalLink { + export class TerminalLink { /** * The start index of the link on [TerminalLinkContext.line](#TerminalLinkContext.line]. */ @@ -3116,6 +3116,18 @@ export module '@theia/plugin' { * depending on OS, user settings, and localization. */ tooltip?: string; + + /** + * Creates a new terminal link. + * @param startIndex The start index of the link on [TerminalLinkContext.line](#TerminalLinkContext.line]. + * @param length The length of the link on [TerminalLinkContext.line](#TerminalLinkContext.line]. + * @param tooltip The tooltip text when you hover over this link. + * + * If a tooltip is provided, is will be displayed in a string that includes instructions on + * how to trigger the link, such as `{0} (ctrl + click)`. The specific instructions vary + * depending on OS, user settings, and localization. + */ + constructor(startIndex: number, length: number, tooltip?: string); } /**