mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
Lint
This commit is contained in:
Vendored
+1
-1
@@ -336,7 +336,7 @@ declare module '@xterm/headless' {
|
||||
* Whether [SGR 221 (not bold) and SGR 222 (not faint) are enabled][0].
|
||||
* These are kitty extensions that allow resetting bold and faint
|
||||
* independently. The default is true.
|
||||
*
|
||||
*
|
||||
* [0]: https://sw.kovidgoyal.net/kitty/misc-protocol/
|
||||
*/
|
||||
kittySgrBoldFaintControl?: boolean;
|
||||
|
||||
Vendored
+1
-1
@@ -453,7 +453,7 @@ declare module '@xterm/xterm' {
|
||||
* Whether [SGR 221 (not bold) and SGR 222 (not faint) are enabled][0].
|
||||
* These are kitty extensions that allow resetting bold and faint
|
||||
* independently. The default is true.
|
||||
*
|
||||
*
|
||||
* [0]: https://sw.kovidgoyal.net/kitty/misc-protocol/
|
||||
*/
|
||||
kittySgrBoldFaintControl?: boolean;
|
||||
|
||||
Reference in New Issue
Block a user