waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Change interface to use ?

Browse Source 
So it's not a breaking change
This commit is contained in:
Daniel Imms
2021-12-15 12:04:07 -08:00
committed by GitHub
parent 7663e4a4e3
commit 7157b03a7e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-web-links/src/WebLinksAddon.ts
+1 -1
View File
@@ -43,7 +43,7 @@ function handleLink(event: MouseEvent, uri: string): void {
interface ILinkProviderOptions {
hover?(event: MouseEvent, text: string, location: IViewportRange): void;
leave?(event: MouseEvent, text: string): void;
urlRegex: RegExp | undefined;
urlRegex?: RegExp;
}
export class WebLinksAddon implements ITerminalAddon {