UIXNinja Syntax Theme
Publisher: Daniels-Roth StanThemes in package: 1
Theme inspired of the Atom's theme https://github.com/licatajustin/ninja-ui-syntax
Theme inspired of the Atom's theme https://github.com/licatajustin/ninja-ui-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 |
|---|---|---|
| punctuation.definition.arguments, punctuation.definition.string, punctuation.terminator, punctuation.definition.variable, keyword.operator | #a0a2db | — |
| punctuation.definition, comment.line | #7274b0 | — |
| support.function, string.quoted | #78fbe4 | — |
| entity.name.tag, entity.name.function | #6f99ff | — |
| storage.type, keyword | #b27af8 | — |
| variable | #fd7ab2 | — |
| entity.other.attribute-name, constant.numeric, constant.language.boolean | #faa75f | — |
| entity.name.type | #f6d47d | — |
| punctuation.section.embedded | #E46199 | — |
| entity.name.type | — | underline |
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}!`;
}