From 603f22a7bb2832baa9b97663862965ee3920ed82 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Tue, 6 Jun 2017 14:31:57 -0700 Subject: [PATCH] Set row height when char size is changed When zoomed in line-height and actual rendered row height differs. This can be seen in the viewport being too large when zoomed in right now but also has additional impacts in the new selection model #207 --- src/xterm.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/xterm.js b/src/xterm.js index f92a25f7..cd9f127e 100644 --- a/src/xterm.js +++ b/src/xterm.js @@ -763,7 +763,8 @@ Terminal.loadAddon = function(addon, callback) { Terminal.prototype.updateCharSizeCSS = 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;}` + + `.xterm-rows > div{height:${this.charMeasure.height}px;}`; } /**