From 9c459aacc7f0c1aa287c9171f380fc8306d3bc04 Mon Sep 17 00:00:00 2001
From: Daniel Imms <daimms@microsoft.com>
Date: Wed, 7 Jun 2017 11:48:31 -0700
Subject: [PATCH] Explicitly size selectionContainer to allow for more flexible
 layouts

---
 src/Viewport.ts | 1 +
 src/xterm.css   | 2 --
 src/xterm.js    | 6 +++---
 3 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/Viewport.ts b/src/Viewport.ts
index dc7ff7c3..82f748ea 100644
--- a/src/Viewport.ts
+++ b/src/Viewport.ts
@@ -57,6 +57,7 @@ export class Viewport {
       if (rowHeightChanged || viewportHeightChanged) {
         this.lastRecordedViewportHeight = this.terminal.rows;
         this.viewportElement.style.height = this.charMeasure.height * this.terminal.rows + 'px';
+        this.terminal.selectionContainer.style.height = this.viewportElement.style.height;
       }
       this.scrollArea.style.height = (this.charMeasure.height * this.lastRecordedBufferLength) + 'px';
     }
diff --git a/src/xterm.css b/src/xterm.css
index 8b082bb4..24febd69 100644
--- a/src/xterm.css
+++ b/src/xterm.css
@@ -190,8 +190,6 @@
     position: absolute;
     top: 0;
     left: 0;
-    right: 0;
-    bottom: 0;
 }
 
 .terminal .xterm-selection div {
diff --git a/src/xterm.js b/src/xterm.js
index 5b3237e9..2f3a57ee 100644
--- a/src/xterm.js
+++ b/src/xterm.js
@@ -696,7 +696,7 @@ Terminal.prototype.open = function(parent, focus) {
 
   this.charMeasure = new CharMeasure(document, this.helperContainer);
   this.charMeasure.on('charsizechanged', function () {
-    self.updateCharSizeCSS();
+    self.updateCharSizeStyles();
   });
   this.charMeasure.measure();
 
@@ -776,10 +776,10 @@ Terminal.loadAddon = function(addon, callback) {
  * Updates the helper CSS class with any changes necessary after the terminal's
  * character width has been changed.
  */
-Terminal.prototype.updateCharSizeCSS = function() {
+Terminal.prototype.updateCharSizeStyles = function() {
   this.charSizeStyleElement.textContent =
       `.xterm-wide-char{width:${this.charMeasure.width * 2}px;}` +
-      `.xterm-normal-char{width:${this.charMeasure.width}px;}`
+      `.xterm-normal-char{width:${this.charMeasure.width}px;}`;
 }
 
 /**