Tweaking the editor colors to allow for higher contrast of comment lines when text is selected. (#37544) (#37686)

This commit is contained in:
Davey Holler 2019-06-03 14:50:27 -07:00 committed by GitHub
parent 8e37d72558
commit 105f72fb8e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -103,7 +103,7 @@ const themeName = IS_DARK_THEME ? darkTheme : lightTheme;
const syntaxTheme = { const syntaxTheme = {
keyword: themeName.euiColorAccent, keyword: themeName.euiColorAccent,
comment: themeName.euiColorMediumShade, comment: themeName.euiColorDarkShade,
delimiter: themeName.euiColorSecondary, delimiter: themeName.euiColorSecondary,
string: themeName.euiColorPrimary, string: themeName.euiColorPrimary,
number: themeName.euiColorWarning, number: themeName.euiColorWarning,
@ -113,10 +113,10 @@ const syntaxTheme = {
tag: themeName.euiColorAccent, tag: themeName.euiColorAccent,
symbol: themeName.euiColorDanger, symbol: themeName.euiColorDanger,
foreground: themeName.euiColorDarkestShade, foreground: themeName.euiColorDarkestShade,
editorBackground: themeName.euiColorLightestShade, editorBackground: themeName.euiColorEmptyShade,
lineNumbers: themeName.euiColorDarkShade, lineNumbers: themeName.euiColorDarkShade,
editorIndentGuide: themeName.euiColorLightShade, editorIndentGuide: themeName.euiColorLightShade,
selectionBackground: themeName.euiColorLightShade, selectionBackground: `${IS_DARK_THEME ? '#343551' : '#E3E4ED'}`,
editorWidgetBackground: themeName.euiColorLightestShade, editorWidgetBackground: themeName.euiColorLightestShade,
editorWidgetBorder: themeName.euiColorLightShade, editorWidgetBorder: themeName.euiColorLightShade,
findMatchBackground: themeName.euiColorWarning, findMatchBackground: themeName.euiColorWarning,