Eclipse Dark
Publisher: Noah LezamaThemes in package: 6
A beautiful dark theme with vibrant colors, excellent contrast, and distinct parameter highlighting. Includes Better Comments for enhanced TODO/FIXME tags!
A beautiful dark theme with vibrant colors, excellent contrast, and distinct parameter highlighting. Includes Better Comments for enhanced TODO/FIXME tags!
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 | #6B728E | italic |
| string, punctuation.definition.string | #A8DADC | — |
| constant.numeric, constant.language | #F4A261 | — |
| keyword, storage.type, storage.modifier | #B2B5E0 | — |
| entity.name.function, support.function | #8DB5E0 | — |
| variable, support.variable, string constant.other.placeholder | #F1FAEE | — |
| variable.parameter | #A8DADC | — |
| entity.name.type, entity.name.class, support.type, support.class | #F4A261 | — |
| entity.name.tag, punctuation.definition.tag | #E63946 | — |
| entity.other.attribute-name | #F4A261 | — |
| keyword.operator | #A8DADC | — |
| constant.character.escape | #A8DADC | — |
| invalid | #F1FAEE | bold |
| invalid.deprecated | #1D3557 | bold |
| markup.bold | — | bold |
| markup.italic | — | italic |
| markup.underline | — | underline |
| markup.inserted | #A8DADC | — |
| markup.deleted | #E63946 | — |
| markup.changed | #F4A261 | — |
| meta.diff, meta.diff.header | #6B728E | — |
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}!`;
}