From 26e385b4c02d3dcc406f2afe884c4f0c53e3cfa1 Mon Sep 17 00:00:00 2001 From: cpsdqs Date: Sat, 9 Sep 2017 16:10:10 +0200 Subject: [PATCH] Fix selection not working --- html_orig/jssrc/term_screen.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/html_orig/jssrc/term_screen.js b/html_orig/jssrc/term_screen.js index 9a4ae50..f78576e 100644 --- a/html_orig/jssrc/term_screen.js +++ b/html_orig/jssrc/term_screen.js @@ -620,6 +620,7 @@ class TermScreen { !this.cursor.hanging; let invertForCursor = isCursor && this.cursor.blinkOn && this.cursor.style === 'block'; + let inSelection = this.isInSelection(x, y); let text = this.screen[cell]; let fg = invertForCursor ? this.screenBG[cell] : this.screenFG[cell]; @@ -632,7 +633,8 @@ class TermScreen { let cellDidChange = text !== this.drawnScreen[cell] || fg !== this.drawnScreenFG[cell] || bg !== this.drawnScreenBG[cell] || - attrs !== this.drawnScreenAttrs[cell]; + attrs !== this.drawnScreenAttrs[cell] || + inSelection; let font = attrs & FONT_MASK; if (!fontGroups.has(font)) fontGroups.set(font, []);