From d222eec9f7f60577c9d5fd9bbd8ec52b41ed9400 Mon Sep 17 00:00:00 2001 From: Paris Kasidiaris Date: Fri, 30 Jun 2017 13:51:40 +0300 Subject: [PATCH] Fix SelectionManager initializing --- src/xterm.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/xterm.js b/src/xterm.js index db82e152..6460ca90 100644 --- a/src/xterm.js +++ b/src/xterm.js @@ -710,7 +710,9 @@ Terminal.prototype.open = function(parent, focus) { this.viewport = new Viewport(this, this.viewportElement, this.viewportScrollArea, this.charMeasure); this.renderer = new Renderer(this); - this.selectionManager = new SelectionManager(this, this.buffer.lines, this.rowContainer, this.charMeasure); + this.selectionManager = new SelectionManager( + this, this.buffer.lines, this.rowContainer, this.charMeasure + ); this.selectionManager.on('refresh', data => { this.renderer.refreshSelection(data.start, data.end); });