RepoMirrors
/
prometheus
mirror of https://github.com/prometheus/prometheus
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix black-on-black metric name color in dark mode (#11572) 

The color should not be set explicitly at all. That way it simply inherits the
theme's default color, as before
https://github.com/prometheus/prometheus/pull/11068.

Fixes https://github.com/prometheus/prometheus/issues/11568

Signed-off-by: Julius Volz <julius.volz@gmail.com>

Signed-off-by: Julius Volz <julius.volz@gmail.com>
This commit is contained in:
Julius Volz 2022-11-11 20:57:49 +01:00 committed by GitHub
parent b1566f761e
commit 98f1d64762
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
web/ui/react-app/src/pages/graph/CMTheme.tsx
View File

@ -1,5 +1,5 @@
import { EditorView } from '@codemirror/view';
import { HighlightStyle } from '@codemirror/language'; import { HighlightStyle } from '@codemirror/language';
import { EditorView } from '@codemirror/view';
import { tags } from '@lezer/highlight'; import { tags } from '@lezer/highlight';
export const baseTheme = EditorView.theme({ export const baseTheme = EditorView.theme({
@ -263,7 +263,6 @@ export const darkTheme = EditorView.theme(
); );
export const promqlHighlighter = HighlightStyle.define([ export const promqlHighlighter = HighlightStyle.define([
{ tag: tags.name, color: '#000' },
{ tag: tags.number, color: '#09885a' }, { tag: tags.number, color: '#09885a' },
{ tag: tags.string, color: '#a31515' }, { tag: tags.string, color: '#a31515' },
{ tag: tags.keyword, color: '#008080' }, { tag: tags.keyword, color: '#008080' },
@ -279,7 +278,6 @@ export const promqlHighlighter = HighlightStyle.define([
]); ]);
export const darkPromqlHighlighter = HighlightStyle.define([ export const darkPromqlHighlighter = HighlightStyle.define([
{ tag: tags.name, color: '#000' },
{ tag: tags.number, color: '#22c55e' }, { tag: tags.number, color: '#22c55e' },
{ tag: tags.string, color: '#fca5a5' }, { tag: tags.string, color: '#fca5a5' },
{ tag: tags.keyword, color: '#14bfad' }, { tag: tags.keyword, color: '#14bfad' },