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

Merge pull request #1302 from nikonso/Enforce-option-value-via-types

Browse Source 
Enforce option value via types
This commit is contained in:
Daniel Imms
2018-02-28 07:47:25 -08:00
committed by GitHub
parent c8017345f1 c51fa238ff
commit 131e6ff949
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typings/xterm.d.ts
Vendored
+6
View File
@@ -547,6 +547,12 @@ declare module 'xterm' {
* @param value The option value.
*/
setOption(key: 'theme', value: ITheme): void;
/**
* 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.