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

Improve typings

Browse Source
This commit is contained in:
Daniel Imms
2018-05-04 11:34:24 -07:00
parent 5b5eb48867
commit cd3eea5b48
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typings/xterm.d.ts
Vendored
+3 -2
View File
@@ -113,7 +113,8 @@ declare module 'xterm' {
* - Cursor style
*
* This option is marked as experiemental because it will eventually be
* moved to an addon.
* moved to an addon. You can only set this option in the constructor (not
* setOption).
*/
rendererType?: RendererType;
@@ -528,7 +529,7 @@ declare module 'xterm' {
* Retrieves an option's value from the terminal.
* @param key The option key.
*/
getOption(key: 'bellSound' | 'bellStyle' | 'cursorStyle' | 'fontFamily' | 'fontWeight' | 'fontWeightBold'| 'termName'): string;
getOption(key: 'bellSound' | 'bellStyle' | 'cursorStyle' | 'fontFamily' | 'fontWeight' | 'fontWeightBold'| 'rendererType' | 'termName'): string;
/**
* Retrieves an option's value from the terminal.
* @param key The option key.