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

Readd any overloads

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