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

Enforce option value via types

Browse Source
This commit is contained in:
Bruno Ribeito
2018-02-26 23:27:53 +00:00
parent c8017345f1
commit 76a3dbf883
1 changed files with 3 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typings/xterm.d.ts
Vendored
+3 -10
View File
@@ -487,12 +487,7 @@ declare module 'xterm' {
* @param key The option key.
*/
getOption(key: 'handler'): (data: string) => void;
/**
* Retrieves an option's value from the terminal.
* @param key The option key.
*/
getOption(key: string): any;
/**
* Sets an option on the terminal.
* @param key The option key.
@@ -548,12 +543,10 @@ declare module 'xterm' {
*/
setOption(key: 'theme', value: ITheme): void;
/**
* Sets an option on the terminal.
* Retrieves an option's value from the terminal.
* @param key The option key.
* @param value The option value.
*/
setOption(key: string, value: any): void;
setOption(key: 'cols' | 'rows', value: number): void;
/**
* Tells the renderer to refresh terminal content between two rows
* (inclusive) at the next opportunity.