Stonekai
Publisher: HenriqueThemes in package: 1
A dark theme with stone-like colors.
A dark theme with stone-like colors.
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 |
|---|---|---|
| — | #E6E3E1 | — |
| meta.embedded, source.groovy.embedded, string meta.image.inline.markdown, variable.legacy.builtin.python | #E6E3E1 | — |
| comment | #7E7772 | — |
| string | #EFD36A | — |
| punctuation.definition.template-expression, punctuation.section.embedded | #FF6B8A | — |
| meta.template.expression | #E6E3E1 | — |
| constant.numeric | #B2A1F2 | — |
| constant.language | #B2A1F2 | — |
| constant.character, constant.other | #B2A1F2 | — |
| variable | #E6E3E1 | |
| keyword | #FF6B8A | — |
| storage | #FF6B8A | |
| storage.type | #7AD6E2 | italic |
| entity.name.type, entity.name.class, entity.name.namespace, entity.name.scope-resolution | #A7D97C | underline |
| entity.other.inherited-class, punctuation.separator.namespace.ruby | #A7D97C | italic underline |
| entity.name.function | #A7D97C | |
| variable.parameter | #FD9B6A | italic |
| entity.name.tag | #FF6B8A | |
| entity.other.attribute-name | #A7D97C | |
| support.function | #7AD6E2 | |
| support.constant | #7AD6E2 | |
| support.type, support.class | #7AD6E2 | italic |
| support.other.variable | — | |
| invalid | #FF6B8A | |
| invalid.deprecated | #FF6B8A | — |
| meta.structure.dictionary.json string.quoted.double.json | #E6E3E1 | — |
| meta.diff, meta.diff.header | #AAA39E | — |
| markup.deleted | #FF6B8A | — |
| markup.inserted | #A7D97C | — |
| markup.changed | #EFD36A | — |
| constant.numeric.line-number.find-in-files - match | #B2A1F2A0 | — |
| entity.name.filename.find-in-files | #EFD36A | — |
| markup.quote | #FF6B8A | — |
| markup.list | #EFD36A | — |
| markup.bold, markup.italic | #7AD6E2 | — |
| markup.inline.raw | #FD9B6A | |
| markup.heading | #A7D97C | — |
| markup.heading.setext | #A7D97C | bold |
| markup.heading.markdown | — | bold |
| markup.quote.markdown | #AAA39E | italic |
| markup.bold.markdown | — | bold |
| string.other.link.title.markdown,string.other.link.description.markdown | #B2A1F2 | — |
| markup.underline.link.markdown,markup.underline.link.image.markdown | #EFD36A | — |
| markup.italic.markdown | — | italic |
| markup.strikethrough | — | strikethrough |
| markup.list.unnumbered.markdown, markup.list.numbered.markdown | #E6E3E1 | — |
| punctuation.definition.list.begin.markdown | #A7D97C | — |
| token.info-token | #7AD6E2 | — |
| token.warn-token | #EFD36A | — |
| token.error-token | #FF6B8A | — |
| token.debug-token | #B2A1F2 | — |
| variable.language | #FD9B6A | — |
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}!`;
}