From a74ca25b0962294b635ab234b76d2dd63856ff43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Breitbart?= Date: Thu, 30 Aug 2018 20:29:23 +0200 Subject: [PATCH] cleanup spaces and comments in InputHandler --- src/InputHandler.ts | 31 ++----------------------------- 1 file changed, 2 insertions(+), 29 deletions(-) diff --git a/src/InputHandler.ts b/src/InputHandler.ts index 48849542..b5fbaa3a 100644 --- a/src/InputHandler.ts +++ b/src/InputHandler.ts @@ -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); }