Update tslint, fix lint

This commit is contained in:
Daniel Imms
2018-01-17 10:23:27 -08:00
parent 70236f6818
commit 53e1f83bb5
17 changed files with 277 additions and 785 deletions
+2 -2
View File
@@ -17,7 +17,7 @@ export function findNext(terminal: any, term: string): boolean {
terminal.searchHelper = new SearchHelper(terminal);
}
return (<SearchHelper>terminal.searchHelper).findNext(term);
};
}
/**
* Find the previous instance of the term, then scroll to and select it. If it
@@ -30,7 +30,7 @@ export function findPrevious(terminal: any, term: string): boolean {
terminal.searchHelper = new SearchHelper(terminal);
}
return (<SearchHelper>terminal.searchHelper).findPrevious(term);
};
}
export function apply(terminalConstructor: any): void {
terminalConstructor.prototype.findNext = function(term: any): boolean {