cleanup spaces and comments in InputHandler

This commit is contained in:
Jörg Breitbart
2018-08-30 20:29:23 +02:00
parent 32231dcd41
commit a74ca25b09
+2 -29
View File
@@ -1987,36 +1987,11 @@ export class InputHandler extends Disposable implements IInputHandler {
this._terminal.setgLevel(level); // TODO: save to move from terminal?
}
/**
/**
* Erase in the identified line everything from "x" to the end of the line (right).
* @param x The column from which to start erasing to the end of the line.
* @param y The line in which to operate.
*/
// FIXME: decide whether to remove from Terminal
public eraseRight(x: number, y: number): void {
const line = this._terminal.buffer.lines.get(this._terminal.buffer.ybase + y);
if (!line) {
@@ -2031,7 +2006,6 @@ export class InputHandler extends Disposable implements IInputHandler {
* @param x The column from which to start erasing to the start of the line.
* @param y The line in which to operate.
*/
// FIXME: decide whether to remove from Terminal
public eraseLeft(x: number, y: number): void {
const line = this._terminal.buffer.lines.get(this._terminal.buffer.ybase + y);
if (!line) {
@@ -2041,11 +2015,10 @@ export class InputHandler extends Disposable implements IInputHandler {
this._terminal.updateRange(y);
}
/**
/**
* Erase all content in the given line
* @param y The line to erase all of its contents.
*/
// FIXME: decide whether to remove from Terminal
public eraseLine(y: number): void {
this.eraseRight(0, y);
}