Gravel Pit
Publisher: Beat ScherrerThemes in package: 2
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 |
|---|---|---|
| text, source | #c5c8c6 | — |
| storage, keyword.declaration | #ffeac3 | — |
| punctuation | #ffeac3 | — |
| string | #5e8d87 | — |
| variable | #ffeac3 | — |
| constant.language | #cc6666 | — |
| comment, punctuation.definition.comment | #555b65 | — |
| storage.type.class.doxygen | #707880 | — |
| support.function, entity.name.function | #81a2be | — |
| entity.name.tag, support.type.property-name | #cc6666 | — |
| entity.other.attribute-name | #de935f | — |
| entity.name.type, storage.type.built-in, support.class | #8c9440 | — |
| keyword.operator | #ffeac3 | — |
| keyword, variable.language.this, keyword.other.decltype.cpp | #cc6666 | — |
| entity.name.function.member, variable.other.property | #b5bd68 | — |
| variable.parameter | #de935f | — |
| markup.heading | #ffeac3 | — |
| markup.fenced_code, markup.inline | #b294bb | — |
| markup.list, punctuation.list | #b5bd68 | — |
| markup.bold, punctuation.definition.bold | #cc6666 | — |
| markup.italic, punctuation.definition.italic | #de935f | — |
| meta.link, string.other.link | #81a2be | — |
| meta.math.block | #b294bb | — |
| meta.preprocessor, punctuation.definition.directive | #cc6666 | — |
| storage.type.template | #b294bb | — |
| keyword.cmake | #cc6666 | — |
| entity.name.type.anchor, variable.other.alias | #c5c8c6 | — |
TypeScript sample highlighted with this variant's colors and tokenColors.
Loading...
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}!`;
}
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}!`;
}