IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Use a standard colour for error highlighting.

Browse Source
This commit is contained in:
Dave Page 2016-06-29 20:54:08 +01:00
parent c4504f1dc2
commit 0282ef7992
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
web/pgadmin/tools/sqleditor/static/css/sqleditor.css
View File

@ -195,8 +195,7 @@
} }
#editor-panel .CodeMirror-activeline-background { #editor-panel .CodeMirror-activeline-background {
background: #5B9CEF; background: #D9EDF7;
color: white;
} }
.CodeMirror-foldmarker { .CodeMirror-foldmarker {