mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Ensure that query highlighting color in the query tool should be less intensive. Fixes #6754
This commit is contained in:
committed by
Akshay Joshi
parent
d81960a6eb
commit
2ced82c7b3
@@ -198,6 +198,8 @@ $color-editor-bracket: #737373 !default;
|
||||
$color-editor-operator: $color-fg !default;
|
||||
$color-editor-foldmarker: #0000FF !default;
|
||||
$color-editor-activeline: #50B0F0 !default;
|
||||
$color-editor-activeline-light: #EDF9FF !default;
|
||||
$color-editor-activeline-border-color: #BCDEF3 !default;
|
||||
|
||||
$active-color: $color-primary !default;
|
||||
$active-border: 3px solid $active-color !default;
|
||||
|
||||
@@ -97,6 +97,11 @@ li.CodeMirror-hint-active {
|
||||
color: $color-primary-fg;
|
||||
}
|
||||
|
||||
.sql-editor .CodeMirror-activeline-background {
|
||||
background: $color-editor-activeline-light !important;
|
||||
border: 1px solid $color-editor-activeline-border-color;
|
||||
}
|
||||
|
||||
.filter-container {
|
||||
position: relative;
|
||||
background-color: $color-bg;
|
||||
|
||||
Reference in New Issue
Block a user