diff --git a/demo/index.html b/demo/index.html index 28ce91ce5..99ae413d4 100644 --- a/demo/index.html +++ b/demo/index.html @@ -36,7 +36,7 @@

Attention: The demo is a barebones implementation and is designed for the development and evaluation of xterm.js only. Exposing the demo to the public as is would introduce security risks for the host.

- + diff --git a/src/Types.d.ts b/src/Types.d.ts index 9a08a7a1c..6f587931c 100644 --- a/src/Types.d.ts +++ b/src/Types.d.ts @@ -299,7 +299,6 @@ export interface ITerminalOptions extends IPublicTerminalOptions { export interface ISelectionManager { selectionText: string; - hasSelection: boolean; selectionStart: [number, number]; selectionEnd: [number, number]; diff --git a/src/browser/ColorManager.ts b/src/browser/ColorManager.ts index 4ac8fefe5..70d21a7a4 100644 --- a/src/browser/ColorManager.ts +++ b/src/browser/ColorManager.ts @@ -17,7 +17,7 @@ const DEFAULT_SELECTION = { // An IIFE to generate DEFAULT_ANSI_COLORS. Do not mutate DEFAULT_ANSI_COLORS, instead make a copy // and mutate that. -export const DEFAULT_ANSI_COLORS: IColor[] = (() => { +export const DEFAULT_ANSI_COLORS = (() => { const colors = [ // dark: fromHex('#2e3436'),