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

add missing type decl

Browse Source
This commit is contained in:
Jörg Breitbart
2018-05-21 22:39:00 +02:00
parent 328086f206
commit ac9b71549a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/InputHandler.ts
+1 -1
View File
@@ -321,7 +321,7 @@ export class InputHandler implements IInputHandler {
let bufferRow: [number, string, number, number][] = buffer.lines.get(buffer.y + buffer.ybase);
this._terminal.updateRange(buffer.y);
for (let stringPosition = start; stringPosition < end; ++stringPosition) {
for (let stringPosition: number = start; stringPosition < end; ++stringPosition) {
char = data.charAt(stringPosition);
code = data.charCodeAt(stringPosition);