Tea House Theme
Publisher: FireMegrezThemes in package: 1
Theme designed on VS Code - A dark theme
Theme designed on VS Code - A dark theme
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 | #535284 | |
| comment.block.preprocessor | #535284 | |
| comment.documentation, comment.block.documentation | #535284 | — |
| keyword.operator | #8c8ab1 | — |
| keyword, storage | #99b64f | — |
| storage.type, support.type | #99b64f | — |
| constant.language, support.constant, variable.language | #eec45a | — |
| variable, support.variable | #c8a75d | — |
| entity.name.function, support.function | #f2b5f5 | |
| entity.name.type, entity.other.inherited-class, support.class | #e990b5 | |
| entity.name.exception | #8d1d1d | — |
| entity.name.section | — | |
| constant.numeric, constant.character, constant | #eec45a | — |
| string | #f5b8d0 | — |
| constant.character.escape | #e38ce6 | — |
| string.regexp | #f5b8d0 | — |
| constant.other.symbol | #f5b8d0 | — |
| punctuation | #f5b8d0 | — |
| meta.tag.sgml.doctype, meta.tag.sgml.doctype string, meta.tag.sgml.doctype entity.name.tag, meta.tag.sgml punctuation.definition.tag.html | #99b64f | — |
| meta.tag, punctuation.definition.tag.html, punctuation.definition.tag.begin.html, punctuation.definition.tag.end.html | #f2ae9e | — |
| entity.name.tag | #e990b5 | — |
| meta.tag entity.other.attribute-name, entity.other.attribute-name.html | #99b64f | |
| constant.character.entity, punctuation.definition.entity | #e38ce6 | — |
| meta.selector, meta.selector entity, meta.selector entity punctuation, entity.name.tag.css | #99b64f | — |
| meta.property-value, meta.property-value constant.other, support.constant.property-value | #eec45a | — |
| keyword.other.important | — | |
| markup.changed | #000000 | — |
| markup.deleted | #000000 | — |
| markup. | — | |
| markup.error | #660000 | — |
| markup.inserted | #000000 | — |
| meta.link | #c8a75d | — |
| markup.output, markup.raw | #777777 | — |
| markup.prompt | #777777 | — |
| markup.heading | #AA3731 | — |
| markup. | — | |
| markup.traceback | #660000 | — |
| markup.underline | — | underline |
| markup.quote | #e38ce6 | — |
| markup.list | #c8a75d | — |
| markup., markup. | #99b64f | — |
| markup.inline.raw | #AB6526 | |
| meta.diff.range, meta.diff.index, meta.separator | #434343 | — |
| meta.diff.header.from-file | #434343 | — |
| meta.diff.header.to-file | #434343 | — |
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}!`;
}