From a179313db24d34a512441b88a06130b01328273b Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Tue, 29 Aug 2023 00:19:57 +0200 Subject: [PATCH] teletext: add panel bg --- packages/react/src/themes/teletext.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/react/src/themes/teletext.js b/packages/react/src/themes/teletext.js index d116124a..5fd9a557 100644 --- a/packages/react/src/themes/teletext.js +++ b/packages/react/src/themes/teletext.js @@ -13,8 +13,8 @@ export const settings = { caret: colorC, selection: colorD, selectionMatch: colorA, - lineHighlight: '#00000090', // panel bg - lineBackground: '#00000080', + lineHighlight: '#6edee440', // panel bg + lineBackground: '#00000040', gutterBackground: 'transparent', gutterForeground: '#8a919966', customStyle: '.cm-line { line-height: 1 }',