Fix selection not working

http-comm
cpsdqs 7 years ago
parent 5cc3003e47
commit 26e385b4c0
Signed by untrusted user: cpsdqs
GPG Key ID: 3F59586BB7448DD1
  1. 4
      html_orig/jssrc/term_screen.js

@ -620,6 +620,7 @@ class TermScreen {
!this.cursor.hanging; !this.cursor.hanging;
let invertForCursor = isCursor && this.cursor.blinkOn && let invertForCursor = isCursor && this.cursor.blinkOn &&
this.cursor.style === 'block'; this.cursor.style === 'block';
let inSelection = this.isInSelection(x, y);
let text = this.screen[cell]; let text = this.screen[cell];
let fg = invertForCursor ? this.screenBG[cell] : this.screenFG[cell]; let fg = invertForCursor ? this.screenBG[cell] : this.screenFG[cell];
@ -632,7 +633,8 @@ class TermScreen {
let cellDidChange = text !== this.drawnScreen[cell] || let cellDidChange = text !== this.drawnScreen[cell] ||
fg !== this.drawnScreenFG[cell] || fg !== this.drawnScreenFG[cell] ||
bg !== this.drawnScreenBG[cell] || bg !== this.drawnScreenBG[cell] ||
attrs !== this.drawnScreenAttrs[cell]; attrs !== this.drawnScreenAttrs[cell] ||
inSelection;
let font = attrs & FONT_MASK; let font = attrs & FONT_MASK;
if (!fontGroups.has(font)) fontGroups.set(font, []); if (!fontGroups.has(font)) fontGroups.set(font, []);

Loading…
Cancel
Save