sjsepan.coffeeish
Publisher: sjsepanThemes in package: 1
Coffeeish, but with borders and with matching colors in Activity- and Side-bars.
Coffeeish, but with borders and with matching colors in Activity- and Side-bars.
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 | #137e00e7 | — |
| string | #c73905 | — |
| constant.numeric | #3e8501 | — |
| constant.language | #ff6302 | — |
| constant.character, constant.other | #f0b606 | — |
| variable | #9b0303 | |
| keyword | #ff6c10 | — |
| storage | #ea6a25 | |
| storage.type | #cb6540 | italic |
| entity.name.class | #0c4124 | underline |
| entity.other.inherited-class | #f39472 | italic underline |
| entity.name.function | #d02c07 | |
| variable.parameter | #ea1707 | italic |
| entity.name.tag | #1d6c03 | underline |
| entity.other.attribute-name | #cf4f0a | |
| support.function | #d85904 | |
| support.constant | #df2f07 | |
| support.type, support.class | #CB1B45 | italic |
| support.other.variable | #EB7A77 | |
| invalid | #fee6df | |
| invalid.deprecated | #fee6df | — |
| meta.attribute | #eec3a9 | — |
| token.info-token | #bb110e | — |
| token.warn-token | #CD9731 | — |
| token.error-token | #ad4949 | — |
| token.debug-token | #800080 | — |
| terminal.background | — | — |
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}!`;
}