A sleek dark theme developed by Rudra Prasad Nayak. It is designed for developers who spend long hours coding. It reduces eye strain with carefully tuned color contrasts, provides clear semantic token coloring for faster scanning of symbols, and includes a matching file icon set for improved project
Full workbench mockup using this variant's colors and tokenColors.
Loading...
Workbench UI color keys from the theme JSON colors map.
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| comment, punctuation.definition.comment | #565f89 | italic |
| variable, string constant.other.placeholder | #c0caf5 | — |
| keyword, storage.type, storage.modifier | #bb9af7 | — |
| keyword.operator, keyword.control | #89ddff | — |
| string | #9ece6a | — |
| constant.numeric, constant.language | #ff9e64 | — |
| entity.name.function, support.function, variable.function | #7aa2f7 | — |
| entity.name, support.class, support.type | #e0af68 | — |
| entity.name.tag | #f7768e | — |
| entity.other.attribute-name | #bb9af7 | — |
| punctuation | #89ddff | — |
| invalid, invalid.illegal | #f7768e | — |
| source.json meta.structure.dictionary.json support.type.property-name.json | #7aa2f7 | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #bb9af7 | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #e0af68 | — |
| markup.heading, markup.heading entity.name | #7aa2f7 | bold |
| markup.bold | #e0af68 | bold |
| markup.italic | #bb9af7 | italic |
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}!`;
}