gothic
Publisher: RamaThemes in package: 2
Gothic—black, gray, blood-red; no distractions.
Gothic—black, gray, blood-red; no distractions.
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 |
|---|---|---|
| support.type.primitive | #e0e0e0 | — |
| constant | #e0e0e0 | — |
| constant.numeric | #e0e0e0 | — |
| string | #e0e0e0 | underline |
| meta.embedded.line | #e0e0e0 | — |
| entity.name | #e0e0e0 | — |
| entity.name.tag | #e0e0e0 | — |
| entity.name.type | #e0e0e0 | — |
| entity.name.function | #e0e0e0 | italic bold |
| support.function | #e0e0e0 | italic bold |
| meta.embedded.line entity.name.function | #e0e0e0 | bold underline |
| comment, punctuation.definition.comment | #828282 | underline italic |
| token.info-token | #e0e0e0 | — |
| token.warn-token | #e0e0e0 | — |
| token.error-token | #e0e0e0 | — |
| token.debug-token | #e0e0e0 | — |
| comment, punctuation.definition.comment, string.quoted.docstring.multi, string.quoted.docstring.multi.python, string.quoted.multi.python, punctuation.definition.string.begin.python, punctuation.definition.string.end.python | #6a6a6a | italic |
| string | #ddd | italic |
| entity.name.function, entity.name.type, entity.name.class | #eee | italic bold underline |
| support.function | #aaa | italic bold |
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}!`;
}