diff --git a/demo/client.ts b/demo/client.ts index 8cc266aa..7ade385e 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -120,8 +120,6 @@ const actionElements = { findResults: document.querySelector('#find-results') }; const paddingElement = document.getElementById('padding') as HTMLInputElement; -const selectionBackgroundElement = document.getElementById('selectionBackground') as HTMLInputElement; -const selectionInactiveBackgroundElement = document.getElementById('selectionInactiveBackground') as HTMLInputElement; const xtermjsTheme = { foreground: '#F8F8F8', @@ -149,18 +147,6 @@ function setPadding(): void { addons.fit.instance.fit(); } -function setSelectionInactiveBackground(): void { - const theme = { ...term.options.theme }; - theme.selectionInactiveBackground = selectionInactiveBackgroundElement.value; - term.options.theme = theme; -} - -function setSelectionBackground(): void { - const theme = { ...term.options.theme }; - theme.selectionBackground = selectionBackgroundElement.value; - term.options.theme = theme; -} - function getSearchOptions(): ISearchOptions { return { regex: (document.getElementById('regex') as HTMLInputElement).checked, @@ -349,8 +335,6 @@ function createTerminal(): void { resizeObserver.observe(terminalContainer); addDomListener(paddingElement, 'change', setPadding); - addDomListener(selectionInactiveBackgroundElement, 'change', setSelectionInactiveBackground); - addDomListener(selectionBackgroundElement, 'change', setSelectionBackground); addDomListener(actionElements.findNext, 'keydown', (e) => { if (e.key === 'Enter') { diff --git a/demo/index.html b/demo/index.html index f56af820..7d7329a7 100644 --- a/demo/index.html +++ b/demo/index.html @@ -75,14 +75,6 @@ -