Skip to main content
VS Code preview Full workbench mockup using this variant's colors and tokenColors.
colors Workbench UI color keys from the theme JSON colors map.
activityBar.background #1F1F1F activityBar.border #1F1F1F60 activityBar.foreground #FF0000 activityBarBadge.background #710000 activityBarBadge.foreground #1F1F1F badge.background #1F1F1F30 tokenColors TextMate scopes and font styles (syntax highlighting rules).
scope foreground fontStyle variable, string constant.other.placeholder, invalid.deprecated, keyword, storage.type, storage.modifier #FF0000 — variable, string constant.other.placeholder, entity.name.function, punctuation.definition.interpolation.end.bracket.curly.scss, punctuation.definition.interpolation.begin.bracket.curly.scss — italic punctuation.definition.interpolation.end.bracket.curly.scss, punctuation.definition.interpolation.begin.bracket.curly.scss #8A0B0B — constant.other.php #FF0000 —
Shiki preview TypeScript sample highlighted with this variant's colors and tokenColors.
badge.foreground
#840000
breadcrumb.activeSelectionForeground #840000
breadcrumb.background #1F1F1F
breadcrumb.focusForeground #FF0000
breadcrumb.foreground #680000
breadcrumbPicker.background #1F1F1F
button.background #84000050
contrastBorder #84000040
debugToolBar.background #1F1F1F
diffEditor.insertedTextBackground #8A0B0B15
diffEditor.removedTextBackground #751A1A20
dropdown.background #1F1F1F
dropdown.border #FF6B6B10
editor.background #1F1F1F
editor.findMatchBackground #1F1F1F
editor.findMatchBorder #840000
editor.findMatchHighlightBackground #84000093
editor.findMatchHighlightBorder #FF6B6B30
editor.foreground #FF0000
editor.lineHighlightBackground #1F1F1F50
editor.selectionBackground #71000030
editor.selectionHighlightBackground #8400006b
editor.selectionHighlightBorder #710000f0
editorBracketMatch.background #1F1F1F
editorBracketMatch.border #FF00007f
editorCursor.foreground #FF0000
editorError.foreground #751A1A70
editorGroup.border #1F1F1F30
editorGroupHeader.tabsBackground #1F1F1F
editorGutter.addedBackground #8A0B0B60
editorGutter.deletedBackground #751A1A60
editorGutter.modifiedBackground #71000060
editorHoverWidget.background #1F1F1F
editorHoverWidget.border #FF6B6B10
editorIndentGuide.activeBackground #353535
editorIndentGuide.background #35353570
editorInfo.foreground #71000070
editorLineNumber.activeForeground #710000
editorLineNumber.foreground #840000c0
editorLink.activeForeground #FF0000
editorMarkerNavigation.background #FF000005
editorOverviewRuler.border #1F1F1F
editorOverviewRuler.errorForeground #751A1A40
editorOverviewRuler.findMatchForeground #840000
editorOverviewRuler.infoForeground #71000040
editorOverviewRuler.warningForeground #FF000070
editorRuler.foreground #353535
editorSuggestWidget.background #1F1F1F
editorSuggestWidget.border #FF6B6B10
editorSuggestWidget.foreground #FF0000
editorSuggestWidget.highlightForeground #FF0000
editorSuggestWidget.selectedBackground #84000020
editorWarning.foreground #8A0B0B
editorWhitespace.foreground #FF000040
editorWidget.background #1F1F1F
editorWidget.border #FF0000
editorWidget.resizeBorder #840000
extensionButton.prominentBackground #8A0B0B90
extensionButton.prominentHoverBackground #751A1A
focusBorder #FF6B6B00
gitDecoration.conflictingResourceForeground #FF0000
gitDecoration.deletedResourceForeground #751A1A
gitDecoration.ignoredResourceForeground #840000
gitDecoration.modifiedResourceForeground #680000
gitDecoration.untrackedResourceForeground #710000
input.background #222222
input.border #FF6B6B10
input.foreground #FF0000
input.placeholderForeground #FF000060
inputOption.activeBackground #FF000030
inputOption.activeBorder #FF000030
inputValidation.errorBorder #751A1A50
inputValidation.infoBorder #71000050
inputValidation.warningBorder #FF000050
list.activeSelectionBackground #1F1F1F
list.activeSelectionForeground #840000
list.focusBackground #222222
list.focusForeground #710000
list.highlightForeground #840000
list.hoverBackground #353535
list.hoverForeground #FF6B6B
list.inactiveSelectionBackground #1F1F1F30
list.inactiveSelectionForeground #840000
list.warningForeground #FF0000
listFilterWidget.background #1F1F1F30
listFilterWidget.noMatchesOutline #1F1F1F30
listFilterWidget.outline #1F1F1F30
menu.background #1F1F1Ff8
menu.border #84000050
menu.foreground #FF0000
menu.selectionBackground #222222
menu.selectionBorder #1F1F1F30
menu.selectionForeground #FF0000
menu.separatorBackground #FF0000
menubar.selectionBackground #222222
menubar.selectionBorder #84000050
menubar.selectionForeground #FF0000
minimap.background #1F1F1F
minimapGutter.addedBackground #751A1A
minimapGutter.deletedBackground #FF0000
minimapGutter.modifiedBackground #8A0B0B
minimapSlider.activeBackground #8A0B0Bb0
minimapSlider.background #8A0B0B80
minimapSlider.hoverBackground #8A0B0Ba0
notificationLink.foreground #840000
notifications.background #1F1F1F
notifications.foreground #FF0000
panel.background #1F1F1F
panel.border #1F1F1F60
panelTitle.activeBorder #840000
panelTitle.activeForeground #FF6B6B
panelTitle.inactiveForeground #FF0000
peekView.border #1F1F1F30
peekViewEditor.background #FF000005
peekViewEditor.matchHighlightBackground #84000050
peekViewEditorGutter.background #FF000005
peekViewResult.background #FF000005
peekViewResult.matchHighlightBackground #84000050
peekViewResult.selectionBackground #84000070
peekViewTitle.background #FF000005
peekViewTitleDescription.foreground #FF000060
pickerGroup.foreground #840000
progressBar.background #840000
scrollbar.shadow #1F1F1F00
scrollbarSlider.activeBackground #840000cc
scrollbarSlider.background #840000bb
scrollbarSlider.hoverBackground #840000ee
selection.background #840000
settings.checkboxBackground #1F1F1F
settings.checkboxForeground #FF0000
settings.dropdownBackground #1F1F1F
settings.dropdownForeground #FF0000
settings.headerForeground #840000
settings.modifiedItemIndicator #840000
settings.numberInputBackground #1F1F1F
settings.numberInputForeground #FF0000
settings.textInputBackground #1F1F1F
settings.textInputForeground #FF0000
sideBar.background #1F1F1F
sideBar.border #84000050
sideBar.foreground #710000
sideBarSectionHeader.background #1F1F1F
sideBarSectionHeader.border #1F1F1F60
sideBarSectionHeader.foreground #710000
sideBarTitle.foreground #FF0000
statusBar.background #FF0404
statusBar.border #1F1F1F60
statusBar.debuggingBackground #FF0000
statusBar.debuggingForeground #FF6B6B
statusBar.foreground #FF4D4D
statusBar.noFolderBackground #1F1F1F
statusBarItem.hoverBackground #84000020
statusBarItem.remoteBackground #840000
statusBarItem.remoteForeground #1F1F1F
tab.activeBackground #84000050
tab.activeBorder #840000
tab.activeForeground #FF6B6B
tab.activeModifiedBorder #840000
tab.border #1F1F1F
tab.inactiveBackground #84000020
tab.inactiveForeground #FF0000af
tab.unfocusedActiveBackground #84000040
tab.unfocusedActiveBorder #840000
tab.unfocusedActiveForeground #FF0000
tab.unfocusedInactiveBackground #84000010
tab.unfocusedInactiveForeground #FF00007f
terminal.ansiBlack #1F1F1F
terminal.ansiBlue #710000
terminal.ansiBrightBlack #840000
terminal.ansiBrightBlue #710000
terminal.ansiBrightCyan #FF4E4E
terminal.ansiBrightGreen #8A0B0B
terminal.ansiBrightMagenta #FF0000
terminal.ansiBrightRed #751A1A
terminal.ansiBrightWhite #FF6B6B
terminal.ansiBrightYellow #FF0000
terminal.ansiCyan #FF4E4E
terminal.ansiGreen #8A0B0B
terminal.ansiMagenta #FF0000
terminal.ansiRed #751A1A
terminal.ansiWhite #FF6B6B
terminal.ansiYellow #FF0000
terminalCursor.background #1F1F1F
terminalCursor.foreground #FF0000
textLink.activeForeground #FF0000
textLink.foreground #840000
titleBar.activeBackground #1F1F1F
titleBar.activeForeground #FF0000
titleBar.border #1F1F1F60
titleBar.inactiveBackground #1F1F1F
titleBar.inactiveForeground #840000
tree.indentGuidesStroke #353535
widget.shadow #1F1F1F30 invalid, invalid.illegal #751A1A —
keyword.control, constant.other.color, punctuation.definition.tag, punctuation, punctuation.separator.inheritance.php, punctuation.definition.tag.html, punctuation.section.embedded, keyword.other.template, keyword.other.substitution, entity.name.tag.reference.scss #A7A8AF —
punctuation.definition.tag.begin.html, punctuation.definition.tag.end.html, entity.name.type.module.js #680000 —
keyword.control.at-rule, punctuation.terminator.rule.css, keyword.control.operator, punctuation.definition.entity.css, keyword.operator.assignment.js, punctuation.separator.comma.js, punctuation.definition.string.begin.js, punctuation.definition.string.end.js, punctuation.definition.binding-pattern.object.js #FF0000 —
punctuation.definition, string.quoted.single.scss #A7A8AF —
comment.line.scss, comment.line.double-slash.js, punctuation.definition.comment.scss, punctuation.definition.comment.js, punctuation.definition.comment.html, comment.block.html #6D6F7C —
text.html.derivative #A7A8AF —
entity.name.tag, meta.tag.sgml, markup.deleted.git_gutter #FF0000 —
entity.name.tag.html — bold
variable.parameter.js, variable.parameter.keyframe-list.css #FF0000 —
variable.other.object.js, storage.type.js, string.other.link.title.markdown, variable.other.readwrite.js, variable.other.property.js #680000
string, string.quoted.double.html, variable.other.constant.js, variable.other.object.property.js, string.quoted.double.json, markup.fenced_code.block.markdown, markup.inline.raw.string.markdown, variable.function, keyword.other.special-method, entity.name.function, markup.bold, markup.bold.markdown, markup.italic.markdown, meta.class-method.js entity.name.function.js, variable.function.constructor, entity.name.tag.other.html, entity.name.tag.block.any.html, source.sass keyword.control #710000 —
punctuation.definition.string.begin.html, punctuation.definition.string.end.html #FF4E4E —
support.other.variable, string.other.link, markup.table #FF0000 —
constant.numeric, constant.language, constant.character, constant.escape, keyword.other.unit, keyword.other, punctuation.separator.key-value.html #FF0000 —
variable.parameter.function.language.special, variable.parameter #751A1A —
constant.other.symbol, constant.other.key, entity.other.inherited-class, keyword.other.unit, markup.heading, markup.inserted.git_gutter, meta.group.braces.curly, constant.other.object.key.js, string.unquoted.label.js #8A0B0B
entity.name, support.type, support.class, support.orther.namespace.use.php, meta.use.php, support.other.namespace.php, markup.changed.git_gutter, support.type.sys-types, entity.other.attribute-name.html #FF0000 —
source.css support.type.property-name, source.sass support.type.property-name, source.scss support.type.property-name, source.less support.type.property-name, source.stylus support.type.property-name, source.postcss support.type.property-name #680000 —
entity.name.module.js, variable.import.parameter.js, variable.other.class.js #751A1A —
entity.name.method.js, tag.decorator.js entity.name.tag.js, tag.decorator.js punctuation.definition.tag.js #710000 italic
entity.other.attribute-name, support.function #FF0000 —
entity.other.attribute-name.id, entity.other.attribute-name.class, entity.other.attribute-name.pseudo-class, entity.name.tag.css, keyword.control.conditional.js, support.constant, entity.other.attribute-name.html, string.quoted.single.js, storage.type.function.js, meta.object-literal.key #FF0000 —
source.scss keyword.control #FF0000 —
constant.character.escape #FF4E4E —
*url*, *link*, *uri* — underline
source.js constant.other.object.key.js string.unquoted.label.js #FF0000 italic
support.type.property-name.json #FF0000 —
text.html.markdown, punctuation.definition.list_item.markdown #FF0000 —
text.html.markdown markup.inline.raw.markdown #FF0000 —
text.html.markdown markup.inline.raw.markdown, punctuation.definition.raw.markdown #84000050 —
text.html.markdown meta.dummy.line-break — —
markdown.heading, markup.heading | markup.heading entity.name, markup.heading.markdown punctuation.definition.heading.markdown, entity.name.section.markdown #680000 bold
markup.underline #710000 underline
markup.quote punctuation.definition.blockquote.markdown #84000050 —
string.other.link.description.title.markdown #FF0000 —
constant.other.reference.link.markdown #FF0000 —
punctuation.definition.raw.markdown, punctuation.definition.markdown #FF4E4E —
variable.language.fenced.markdown #840000 —
meta.separator #A7A8AF bold
token.error-token #FF293B —
token.debug-token #FF4E4E —
export interface User {
id : string ;
name : string ;
role : " admin " | " member " ;
tags : string [] ;
}
/**
* Fetch user data by ID
* @ param id
* @ returns User object or null if ID is invalid
*/
export async function fetchUser ( id : string ) : Promise < User | null > {
if (! id ) {
return null ;
}
const response = await fetch ( ` /api/users/ ${ id }` , {
method : " GET " ,
headers : { Accept : " application/json " },
} ) ;
if (! response . ok ) {
throw new Error ( ` HTTP ${ response . status }` ) ;
}
return ( await response . json ()) as User ;
}
function greet ( user : User ) : string {
// Simple greeting function that uses the user's name
return ` Hello, ${ user . name } ! ` ;
}
fetchUser.ts
index.ts
README.md
src
components
fetchUser.ts
src
components
fetchUser.ts
fetchUser 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Problems1
Output
Debug Console
Terminal
Ports
~/my-project $ pnpm dev
▲ Next.js ready on http://localhost:3000
✓ compiled client and server successfully in 412ms
wait - compiling /theme/vscode...
main*
Button.tsx
31
~/my-project
$
export interface User {
id : string ;
name : string ;
role : " admin " | " member " ;
tags : string [] ;
}
/**
* Fetch user data by ID
* @ param id
* @ returns User object or null if ID is invalid
*/
export async function fetchUser ( id : string ) : Promise < User | null > {
if (! id ) {
return null ;
}
const response = await fetch ( ` /api/users/ ${ id }` , {
method : " GET " ,
headers : { Accept : " application/json " },
} ) ;
if (! response . ok ) {
throw new Error ( ` HTTP ${ response . status }` ) ;
}
return ( await response . json ()) as User ;
}
function greet ( user : User ) : string {
// Simple greeting function that uses the user's name
return ` Hello, ${ user . name } ! ` ;
}
Red Elixer | Coding Theme