eiac/xterm.js
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Merge branch 'master' into addons_in_repo

Browse Source
This commit is contained in:
Daniel Imms
2019-06-01 14:36:55 -07:00
committed by GitHub
parent d955873787 db2e2f6d7c
commit b5be5c06ad
13 changed files with 338 additions and 271 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/public/Terminal.ts
+2 -2
View File
@@ -152,7 +152,7 @@ export class Terminal implements ITerminalApi {
public getOption(key: 'handler'): (data: string) => void;
public getOption(key: string): any;
public getOption(key: any): any {
return this._core.getOption(key);
return this._core.optionsService.getOption(key);
}
public setOption(key: 'bellSound' | 'fontFamily' | 'termName', value: string): void;
public setOption(key: 'fontWeight' | 'fontWeightBold', value: 'normal' | 'bold' | '100' | '200' | '300' | '400' | '500' | '600' | '700' | '800' | '900'): void;
@@ -166,7 +166,7 @@ export class Terminal implements ITerminalApi {
public setOption(key: 'cols' | 'rows', value: number): void;
public setOption(key: string, value: any): void;
public setOption(key: any, value: any): void {
this._core.setOption(key, value);
this._core.optionsService.setOption(key, value);
}
public refresh(start: number, end: number): void {
this._core.refresh(start, end);