Flint Colour
Publisher: Flint Language UtilitiesThemes in package: 1
Syntax highlighting for Flint, and a special colour theme designed for Flint-specific syntax
Syntax highlighting for Flint, and a special colour theme designed for Flint-specific syntax
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, punctuation.definition.comment | #81C784 | — |
| keyword.operator.arithmetic.flint, keyword.operator.logical.flint, keyword.operator.assignment.flint | #c781b0 | — |
| punctuation.accessor | #ff0000 | — |
| punctuation.separator | #ff00bf | — |
| keyword.control, punctuation.definition.parameters, punctuation.section.parens.begin, punctuation.definition.array | #00BCD4 | — |
| storage.type | #3cd400 | — |
| storage.modifier, keyword.control.flint | #d400b8 | — |
| storage.modifier.mutating.flint | #e7e41f | — |
| constant.numeric, constant.language, support.type.primitive | #F9A825 | — |
| string, constant.other.symbol | #fb5d2d | — |
| punctuation.definition.string.begin, punctuation.definition.string.end | #00BCD4 | — |
| variable.language, varible.other | #ea80d8 | — |
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}!`;
}