Merge branch 'master' into underline

2022-07-30 06:40:41 -07:00
parent 1fe0ec8d2c db79efdbc1
commit e0d4384d3c
29 changed files with 267 additions and 101 deletions
@@ -106,7 +106,7 @@ const paddingElement = <HTMLInputElement>document.getElementById('padding');
 const xtermjsTheme = {
  foreground: '#F8F8F8',
  background: '#2D2E2C',
-  selection: '#5DA5D533',
+  selectionBackground: '#5DA5D533',
  black: '#1E1E1D',
  brightBlack: '#262625',
  red: '#CE5C5C',