Merge branch 'master' into updated_wcwidth

2019-12-21 15:28:38 +01:00
parent 05f1887559 f1e01c7166
commit 825cc006e5
24 changed files with 427 additions and 376 deletions
@@ -101,7 +101,11 @@ export class DomRendererRowFactory {
        charElement.classList.add(UNDERLINE_CLASS);
      }

-      charElement.textContent = this._workCell.getChars() || WHITESPACE_CELL_CHAR;
+      if (this._workCell.isInvisible()) {
+        charElement.textContent = WHITESPACE_CELL_CHAR;
+      } else {
+        charElement.textContent = this._workCell.getChars() || WHITESPACE_CELL_CHAR;
+      }

      let fg = this._workCell.getFgColor();
      let fgColorMode = this._workCell.getFgColorMode();