All_Hallows_Eve Theme
Publisher: geraneThemes in package: 1
All_Hallows_Eve Theme ported from the AllHallowsEve TextMate Theme
All_Hallows_Eve Theme ported from the AllHallowsEve TextMate Theme
Full workbench mockup using this variant's colors and tokenColors.
Loading...
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| — | #FFFFFF | — |
| text | #FFFFFF | — |
| source | #FFFFFF | — |
| comment | #9933CC | — |
| constant | #3387CC | — |
| keyword | #CC7833 | |
| meta.preprocessor.c | #D0D0FF | |
| keyword.control.import | — | |
| entity.name.function | — | |
| variable.parameter | — | italic |
| source comment.block | #FFFFFF | — |
| string | #66CC33 | — |
| string constant.character.escape | #AAAAAA | — |
| string.interpolated | #000000 | — |
| string.regexp | #CCCC33 | — |
| string.literal | #CCCC33 | — |
| string.interpolated constant.character.escape | #555555 | — |
| entity.name.type | — | underline |
| entity.other.inherited-class | — | italic underline |
| entity.name.tag | — | underline |
| entity.other.attribute-name | — | |
| support.function | #C83730 |
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}!`;
}