GP-3397 - minor theme fixes

This commit is contained in:
dragonmacher 2023-05-09 12:04:37 -04:00
parent b3616a6831
commit b953998f7d
4 changed files with 8 additions and 29 deletions

View file

@ -35,10 +35,8 @@ color.fg.interpreterconsole.error = color.fg.error
color.bg.markerservice = color.bg
color.bg.search.highlight = color.bg.highlight
color.bg.search.current.line.highlight = color.palette.yellow
color.bg.search.highlight.current.line = color.palette.yellow
color.bg.analysis.options.not.default.enablement = color.palette.lightgray
color.bg.analysis.options.not.default.enablement.selected = color.palette.gray
color.fg.analysis.options.prototype = color.palette.crimson
color.fg.analysis.options.prototype.selected = color.palette.lightcoral