mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-25 14:10:05 -05:00
Fixed an issue where the current debug line is not visible in the 'Dark' theme. Fixes #6409
This commit is contained in:
1 parent
72f3730c34
commit
ac403d0dfa
6 files changed
+4
-10
No files matched your search
@@ -174,7 +174,7 @@
|
||||
}
|
||||
|
||||
.CodeMirror-activeline-background {
|
||||
background: $color-danger-lighter !important;
|
||||
background: $color-editor-activeline !important;
|
||||
}
|
||||
|
||||
.CodeMirror-simplescroll-horizontal {
|
||||
|
||||
@@ -77,7 +77,7 @@ $color-editor-comment: #7fcc5c;
|
||||
$color-editor-bracket: #d6aaaa;
|
||||
$color-editor-operator: #d6aaaa;
|
||||
$color-editor-foldmarker: #0000FF !default;
|
||||
$color-editor-activeline: #50B0F0 !default;
|
||||
$color-editor-activeline: #323e43 !default;
|
||||
|
||||
$explain-sev-2-bg: #ded17e;
|
||||
$explain-sev-3-bg: #824d18;
|
||||
|
||||
@@ -96,7 +96,7 @@ $color-editor-comment: #FFAD65;
|
||||
$color-editor-bracket: #D6AAAA;
|
||||
$color-editor-operator: $color-fg;
|
||||
$color-editor-foldmarker: #FFFFFF;
|
||||
$color-editor-activeline: #50B0F0;
|
||||
$color-editor-activeline: #063057;
|
||||
|
||||
$active-color: $color-fg;
|
||||
$active-border: 3px solid $color-primary;
|
||||
|
||||
@@ -1,6 +1,3 @@
|
||||
.debugger-container .CodeMirror-activeline-background {
|
||||
background: $color-editor-activeline;
|
||||
}
|
||||
|
||||
/* To make font same as Query tool in messages tab */
|
||||
.messages {
|
||||
|
||||
@@ -59,10 +59,6 @@
|
||||
right: 0;
|
||||
}
|
||||
|
||||
#editor-panel .CodeMirror-activeline-background {
|
||||
background: $color-primary-light;
|
||||
}
|
||||
|
||||
|
||||
.ajs-body .warn-icon {
|
||||
color: $color-warning;
|
||||
|
||||
Reference in new issue
Block a user