Remove remaining link hover tooltip duration
This commit is contained in:
Vendored
-7
@@ -101,13 +101,6 @@ declare module 'xterm-headless' {
|
||||
*/
|
||||
lineHeight?: number;
|
||||
|
||||
/**
|
||||
* The duration in milliseconds before link tooltip events fire when
|
||||
* hovering on a link.
|
||||
* @deprecated This will be removed when the link matcher API is removed.
|
||||
*/
|
||||
linkTooltipHoverDuration?: number;
|
||||
|
||||
/**
|
||||
* What log level to use, this will log for all levels below and including
|
||||
* what is set:
|
||||
|
||||
Reference in New Issue
Block a user