From 0c9084364c1dbc688ce5e7d2a2e206912f3e51cf Mon Sep 17 00:00:00 2001 From: sawka Date: Thu, 12 Oct 2023 11:29:47 -0700 Subject: [PATCH] try to fix background color for ctrl-r history header --- src/app/common/themes/themes.less | 1 + src/app/workspace/cmdinput/cmdInput.less | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/app/common/themes/themes.less b/src/app/common/themes/themes.less index 692ab5cf..7a1a0573 100644 --- a/src/app/common/themes/themes.less +++ b/src/app/common/themes/themes.less @@ -5,6 +5,7 @@ @base-border: rgba(241, 246, 243, 0.08); @background-session: rgba(13, 13, 13, 0.85); @background-session-components: rgba(48, 49, 48, 0.6); +@background-session-components-solid: rgb(33, 34, 33); @prompt-green: rgb(88, 193, 66); @disabled-background: rgba(76, 81, 75, 1); @disabled-color: #adadad; diff --git a/src/app/workspace/cmdinput/cmdInput.less b/src/app/workspace/cmdinput/cmdInput.less index b8deeab1..bae12487 100644 --- a/src/app/workspace/cmdinput/cmdInput.less +++ b/src/app/workspace/cmdinput/cmdInput.less @@ -170,7 +170,7 @@ z-index: 102; top: 5px; left: 20px; - background-color: @term-black; + background-color: @background-session-components-solid; color: @soft-blue; padding-bottom: 4px; display: flex;