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

Remove old ITerminalAddon def

Browse Source
This commit is contained in:
Daniel Imms
2019-06-04 11:34:55 -07:00
parent 1a8c7ef596
commit fee08d74e0
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-web-links/typings/xterm-addon-web-links.d.ts
Vendored
+1 -6
View File
@@ -4,14 +4,9 @@
*/
import { Terminal, IDisposable, ILinkMatcherOptions } from 'xterm';
import { Terminal, ILinkMatcherOptions, ITerminalAddon } from 'xterm';
declare module 'xterm-addon-web-links' {
// TODO: This is temporary, link to xterm when the new version is published
export interface ITerminalAddon extends IDisposable {
activate(terminal: Terminal): void;
}
/**
* An xterm.js addon that enables web links.
*/