Changes for the editor

Author: sainirijul

src/BufferBinding.ts

@@ -15,7 +15,7 @@ export default class BufferBinding {
 	private disposed!: boolean;
 	private onUpdateText: any;
 	private onInsert: any;
-    private onDelete: any;
+	private onDelete: any;
 
 
 	constructor({ buffer, isHost, didDispose }: { buffer: any; isHost: any; didDispose: any; }) {
@@ -54,51 +54,38 @@ export default class BufferBinding {
 		return this.editor.edit(builder => {
 			for (let i = textUpdates.length - 1; i >= 0; i--) {
 				const textUpdate = textUpdates[i];
-				//   console.log("update text oldEnd r:" + textUpdate.oldEnd.row + " c:" + textUpdate.oldEnd.column + " oldStart r: " + textUpdate.oldStart.row + " c:" + textUpdate.oldStart.column + " newText " + textUpdate.newText);
 				builder.replace(this.createRange(textUpdate.oldStart, textUpdate.oldEnd), textUpdate.newText);
 			}
 		}, { undoStopBefore: false, undoStopAfter: true });
 	}
 
-	// updateText (textUpdates: TextUdpate[]) {
-	// 	return this.editor.edit(builder => {
-	// 		for (let i = textUpdates.length - 1; i >= 0; i--) {
-	// 			const {oldStart, oldEnd, newText} = textUpdates[i];
-	// 			builder.replace(this.createRange(oldStart, oldEnd), newText);
-	// 		}
-	// 	}, { undoStopBefore: false, undoStopAfter: true });
-	// }
-
 	traverse(start: any, distance: any) {
 		if (distance.row === 0) {
-		  return { row: start.row, column: start.column + distance.column };
+			return { row: start.row, column: start.column + distance.column };
 		}
-	  
+
 		else {
-		  return { row: start.row + distance.row, column: distance.column };
+			return { row: start.row + distance.row, column: distance.column };
 		}
-	  }
+	}
 
 	insert(position: any, text: any) {
 		console.log("buffer insert pos:" + position + " text: " + text);
 		if (typeof this.onInsert === "function") {
-		  this.onInsert(position, text);
+			this.onInsert(position, text);
 		}
 		return [position, position, text];
-	  }
-	  delete(startPosition: any, extent: any) {
+	}
+	delete(startPosition: any, extent: any) {
 		console.log("buffer delete start pos:" + startPosition + " extent: " + extent);
 		if (typeof this.onDelete === "function") {
-		  this.onDelete(startPosition, extent);
+			this.onDelete(startPosition, extent);
 		}
 		const endPosition = this.traverse(startPosition, extent);
 		return [startPosition, endPosition, ''];
-	  }
-
-
-	
+	}
 
-	private createRange(start: Position, end: Position): vscode.Range {
+	createRange(start: Position, end: Position): vscode.Range {
 		return new vscode.Range(
 			new vscode.Position(start.row, start.column),
 			new vscode.Position(end.row, end.column)