ZenCodingTheme
Publisher: florianperrenetThemes in package: 1
Full workbench mockup using this variant's colors and tokenColors.
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 | #AAAAAA | italic |
| comment.block.preprocessor | #AAAAAA | |
| comment.documentation, comment.block.documentation | #448C27 | — |
| invalid.illegal | #660000 | — |
| keyword.operator.assignment, keyword.operator.logical, keyword.operator.comparison, keyword.operator.dereference, keyword.operator.math |
TypeScript sample highlighted with this variant's colors and tokenColors.
| #A31515 |
| — |
| keyword.operator.borrow | #000 | — |
| keyword.operator | #222 | — |
| keyword, storage | #0451A5 | — |
| storage.modifier | #0451A5 | italic |
| entity.name.type.primitive, entity.name.type.numeric, constant.language.bool, variable.language.self | #A31515 | — |
| storage.type, support.type | #0451A5 | — |
| constant.language, support.constant, variable.language | #A31515 | — |
| variable, support.variable | #222 | — |
| entity.name.function, support.function | #AB6526 | — |
| entity.name.type, entity.other.inherited-class, support.class | — | — |
| entity.name.exception | #660000 | — |
| entity.name.section | — | bold |
| constant.numeric, constant.character, constant | #A31515 | — |
| string | #448C27 | — |
| constant.character.escape | #777777 | — |
| string.regexp | #4B83CD | — |
| constant.other.symbol | #AB6526 | — |
| punctuation | #222 | — |
| punctuation.definition.string | #448C27 | — |
| meta.tag.sgml.doctype, meta.tag.sgml.doctype string, meta.tag.sgml.doctype entity.name.tag, meta.tag.sgml punctuation.definition.tag.html | #AAAAAA | — |
| meta.tag, punctuation.definition.tag.html, punctuation.definition.tag.begin.html, punctuation.definition.tag.end.html | #91B3E0 | — |
| entity.name.tag | #4B83CD | — |
| meta.tag entity.other.attribute-name, entity.other.attribute-name.html | #91B3E0 | italic |
| constant.character.entity, punctuation.definition.entity | #0451A5 | — |
| meta.selector, meta.selector entity, meta.selector entity punctuation, entity.name.tag.css | #7A3E9D | — |
| meta.property-name, support.type.property-name | #0451A5 | — |
| meta.property-value, meta.property-value constant.other, support.constant.property-value | #448C27 | — |
| keyword.other.important | — | bold |
| markup.changed | #000000 | — |
| markup.deleted | #000000 | — |
| markup.italic | — | italic |
| markup.error | #660000 | — |
| markup.inserted | #000000 | — |
| meta.link | #4B83CD | — |
| markup.output, markup.raw | #777777 | — |
| markup.prompt | #777777 | — |
| markup.heading | #AA3731 | — |
| markup.bold | — | bold |
| markup.traceback | #660000 | — |
| markup.underline | — | underline |
| markup.quote | #7A3E9D | — |
| markup.list | #4B83CD | — |
| markup.bold, markup.italic | #448C27 | — |
| markup.inline.raw | #0451A5 |
| 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}!`;
}
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}!`;
}