mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
Fix api lint
This commit is contained in:
Vendored
+2
-2
@@ -83,8 +83,8 @@ declare module '@xterm/headless' {
|
||||
|
||||
/**
|
||||
* The modifier key hold to multiply scroll speed.
|
||||
* @deprecated This option is no longer available and will always use alt. Setting this will be
|
||||
* ignored.
|
||||
* @deprecated This option is no longer available and will always use alt.
|
||||
* Setting this will be ignored.
|
||||
*/
|
||||
fastScrollModifier?: 'none' | 'alt' | 'ctrl' | 'shift';
|
||||
|
||||
|
||||
Vendored
+2
-2
@@ -109,8 +109,8 @@ declare module '@xterm/xterm' {
|
||||
|
||||
/**
|
||||
* The modifier key hold to multiply scroll speed.
|
||||
* @deprecated This option is no longer available and will always use alt. Setting this will be
|
||||
* ignored.
|
||||
* @deprecated This option is no longer available and will always use alt.
|
||||
* Setting this will be ignored.
|
||||
*/
|
||||
fastScrollModifier?: 'none' | 'alt' | 'ctrl' | 'shift';
|
||||
|
||||
|
||||
Reference in New Issue
Block a user