background | | | |
border | | | |
border.disabled | | | |
border.focused | | | |
border.selected | | | |
border.transparent | | | |
border.variant | | | |
conflict | | | |
created | | | |
deleted | | | |
drop_target.background | | | |
editor.active_line_number | | | |
editor.active_line.background | | | |
editor.active_wrap_guide | | | |
editor.background | | | |
editor.document_highlight.bracket_background | | | |
editor.foreground | | | |
editor.gutter.background | | | |
editor.line_number | | | |
editor.wrap_guide | | | |
element.active | | | |
element.background | | | |
element.hover | | | |
element.selected | | | |
elevated_surface.background | | | |
error | | | |
error.background | | | |
ghost_element.hover | | | |
ghost_element.selected | | | |
hidden | | | |
hint | | | |
hint.background | | | |
ignored | | | |
info | | | |
info.background | | | |
link_text.hover | | | |
modified | | | |
pane_group.border | | | |
panel.background | | | |
player.0.selection | | | |
scrollbar.thumb.background | | | |
scrollbar.thumb.border | | | |
scrollbar.thumb.hover_background | | | |
scrollbar.track.background | | | |
scrollbar.track.border | | | |
search.match_background | | | |
status_bar.background | | | |
surface.background | | | |
tab_bar.background | | | |
tab.active_background | | | |
tab.inactive_background | | | |
terminal.ansi.black | | | |
terminal.ansi.blue | | | |
terminal.ansi.bright_black | | | |
terminal.ansi.bright_blue | | | |
terminal.ansi.bright_cyan | | | |
terminal.ansi.bright_green | | | |
terminal.ansi.bright_magenta | | | |
terminal.ansi.bright_red | | | |
terminal.ansi.bright_white | | | |
terminal.ansi.bright_yellow | | | |
terminal.ansi.cyan | | | |
terminal.ansi.green | | | |
terminal.ansi.magenta | | | |
terminal.ansi.red | | | |
terminal.ansi.white | | | |
terminal.ansi.yellow | | | |
terminal.background | | | |
text | | | |
text.muted | | | |
title_bar.background | | | |
toolbar.background | | | |
unreachable.background | | | |
warning | | | |
warning.background | | | |