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
+1
-1
@@ -443,7 +443,7 @@ declare module '@xterm/xterm' {
|
||||
* 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/
|
||||
*/
|
||||
kittyKeyboard?: boolean;
|
||||
|
||||
Reference in New Issue
Block a user