MTVaught Dark Theme
Publisher: Matthew VaughtThemes in package: 1
A dark color theme for Visual Studio Code.
A dark color theme for Visual Studio Code.
Full workbench mockup using this variant's colors and tokenColors.
Loading...
Workbench UI color keys from the theme JSON colors map.
| key | HEX | RGB | RGBA |
|---|---|---|---|
activityBarBadge.background | |||
activityBarBadge.foreground | |||
badge.background | |||
badge.foreground | |||
button.background | |||
button.foreground | |||
editor.background | |||
editor.foreground | |||
editorBracketHighlight.foreground1 | |||
editorBracketHighlight.foreground2 | |||
editorBracketHighlight.foreground3 | |||
editorBracketHighlight.foreground4 | |||
editorBracketHighlight.foreground5 | |||
editorBracketHighlight.foreground6 | |||
editorBracketMatch.border | |||
editorGutter.modifiedBackground | |||
editorInfo.foreground | |||
editorWarning.foreground | |||
focusBorder | |||
gitDecoration.modifiedResourceForeground | |||
notificationLink.foreground | |||
peekView.border | |||
progressBar.background | |||
sideBar.background | |||
sideBar.border | |||
sideBarTitle.foreground | |||
statusBar.background | |||
statusBar.border | |||
tab.activeBorder |
Foregrounds this theme assigns to the token scope catalog. A rule with only a font style is skipped, and a longer matching scope wins. Italic and bold rules are not listed — the preview above shows them in the code.
| scope | HEX | RGB | RGBA |
|---|---|---|---|
comment | |||
comment.block | |||
comment.block.documentation | |||
comment.line | |||
punctuation.definition.comment | |||
punctuation.definition.string.begin | |||
punctuation.definition.string.end | |||
string | |||
string.interpolated | |||
string.other | |||
string.quoted | |||
string.quoted.double | |||
string.quoted.other | |||
string.quoted.single | |||
string.quoted.triple | |||
string.regexp | |||
string.template | |||
string.unquoted | |||
support | |||
support.type | |||
support.type.property-name |
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}!`;
}