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

Make lint happy

Browse Source
This commit is contained in:
Daniel Imms
2026-01-09 13:14:30 -08:00
parent 4c905dad33
commit 98ea14824a
2 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typings/xterm-headless.d.ts
Vendored
+4 -3
View File
@@ -323,9 +323,10 @@ declare module '@xterm/headless' {
*/
export interface IVtExtensions {
/**
* Whether the [kitty keyboard protocol][0] (`CSI =|?|>|< u`) is enabled. When
* enabled, the terminal will respond to keyboard protocol queries and allow
* programs to enable enhanced keyboard reporting. The default is false.
* Whether the [kitty keyboard protocol][0] (`CSI =|?|>|< u`) is enabled.
* When enabled, the terminal will respond to keyboard protocol queries and
* allow programs to enable enhanced keyboard reporting. The default is
* false.
*
* [0]: https://sw.kovidgoyal.net/kitty/keyboard-protocol/
*/
typings/xterm.d.ts
Vendored
+4 -3
View File
@@ -440,9 +440,10 @@ declare module '@xterm/xterm' {
*/
export interface IVtExtensions {
/**
* Whether the [kitty keyboard protocol][0] (`CSI =|?|>|< u`) is enabled. When
* enabled, the terminal will respond to keyboard protocol queries and allow
* programs to enable enhanced keyboard reporting. The default is false.
* Whether the [kitty keyboard protocol][0] (`CSI =|?|>|< u`) is enabled.
* When enabled, the terminal will respond to keyboard protocol queries and
* allow programs to enable enhanced keyboard reporting. The default is
* false.
*
* [0]: https://sw.kovidgoyal.net/kitty/keyboard-protocol/
*/