Dayfox
Publisher: Michał PopekThemes in package: 1
Port of the Dayfox variant from EdenEast/nightfox.nvim
Port of the Dayfox variant from EdenEast/nightfox.nvim
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 |
|---|---|---|
| keyword.control.flow, keyword.control.trycatch, variable.language.this, variable.language.super | #a5222f | — |
| entity.name.tag, storage.type, storage.modifier, keyword | #6e33ce | — |
| entity.name.type, entity.other.inherited-class, support.class, support.type.class, entity.name.tag.css | #ac5402 | — |
| storage.type.function, variable.other.property, variable.other.object.property, entity.other.attribute-name, support.type.property-name, entity.name.tag.yaml | #2848a9 | — |
| entity.name.function | #223d90 | — |
| support.type.primitive, support.type.builtin.primitive, support.class.component, variable.parameter, keyword.other.unit | #22676d | — |
| constant, meta.function.decorator | #7f5152 | — |
| string | #396847 | — |
| punctuation, meta.brace, meta.delimiter | #643f61 | — |
| comment | #837a72 | — |
| markup.heading, punctuation.definition.heading.markdown | #223d90 | bold |
| string.other.link.title.markdown | #6e33ce | bold |
| string.other.link.description.markdown | #2848a9 | bold |
| markup.underline.link.markdown, markup.underline.link.image.markdown | #7f5152 | italic |
| markup.bold.markdown | #b3434e | bold |
| markup.italic.markdown | #b3434e | italic |
| markup.strikethrough.markdown | — | strikethrough |
| markup.inline.raw.string.markdown | #287980 | italic |
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}!`;
}