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

Revert accidental setting change

Browse Source
This commit is contained in:
Daniel Imms
2022-07-27 05:47:39 -07:00
parent 4b8e7a5768
commit 78bfe0b89d
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typings/xterm-headless.d.ts
Vendored
+4 -5
View File
@@ -182,16 +182,15 @@ declare module 'xterm-headless' {
scrollback?: number;
/**
* The duration to smoothly scroll between the origin and the target in
* milliseconds. Set to 0 to disable smooth scrolling and scroll instantly.
* The scrolling speed multiplier used for adjusting normal scrolling speed.
*/
scrollSensitivity?: number;
/**
* The duration to smoothly scroll between the origin and the target. Set
* this to 0 to disable smooth scrolling and scroll instantly.
* The duration to smoothly scroll between the origin and the target in
* milliseconds. Set to 0 to disable smooth scrolling and scroll instantly.
*/
smoothScrollDuration?: number;
smoothScrollDuration?: number;
/**
* The size of tab stops in the terminal.