Set
Publisher: iinfinThemes 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 |
|---|---|---|
| comment, comment.block, comment.block.documentation, comment.line, meta.toc-list, punctuation.definition.comment, string.quoted.docstring, variable.parameter.function | #b2b2b2 | italic |
| entity.name.class, entity.name.enum, entity.name.interface, entity.name.section, entity.name.struct, entity.name.tag, entity.name.trait, entity.name.type, entity.name.union, entity.other, meta.function-call.generic.python | #000000 | bold |
| keyword.control, keyword.control.conditional, keyword.control.import, keyword.function.go, keyword.import.go, keyword.package.go, keyword.var.go | — | bold italic |
| entity.name.tag.localname.xml, keyword.control, keyword.operator, meta.tag.xml, string.quoted.double, string.quoted.other, string.quoted.single, string.quoted.triple, string.regexp, string.unquoted | #7f7f7f | regular |
| markup.bold.markdown | — | bold |
| markup.inline.raw | #333333 | — |
| markup.italic | — | italic |
| markup.underline, punctuation.definition.string.begin, punctuation.definition.string.end, punctuation.separator, punctuation.terminator | #b2b2b2 | — |
| meta.link, meta.paragraph, meta.property-value, punctuation.definition | #7f7f7f | — |
| storage.modifier, storage.type | #000000 | bold italic |
| support.type.property-name.css, support.type.vendored.property-name.css | #000000 | — |
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}!`;
}