Dark_Krystal Theme
Publisher: geraneThemes in package: 1
Dark_Krystal Theme ported from the DarkKrystal TextMate Theme
Dark_Krystal Theme ported from the DarkKrystal 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 | — |
| comment | #4A496D | |
| keyword, storage | #00B6AD | |
| constant.numeric | #23E0EE | |
| constant | #C5060B | |
| constant.language | #585CF6 | |
| variable.language, variable.other | #28FBB5 | |
| string | #05DF0D | |
| constant.character.escape, string source | #26B31A | |
| meta.preprocessor | #1A921C | |
| keyword.control.import | #0C450D | bold |
| entity.name.function, support.function.any-method | #00E3CB | bold |
| entity.name.type | — | underline |
| entity.other.inherited-class | — | |
| variable.parameter | — | |
| storage.type.method | #70727E | |
| meta.section entity.name.section, declaration.section entity.name.section | — | bold italic |
| support.function | #3C4C72 | bold |
| support.class, support.type | #6D79DE | |
| support.constant | #06960E | |
| support.variable | #21439C | |
| keyword.operator.js | #687687 | — |
| invalid | #FFFFFF | — |
| invalid.deprecated.trailing-whitespace | — | — |
| text source, string.unquoted | — | — |
| text source string.unquoted, text source text source | — | — |
| meta.tag.preprocessor.xml | #68685B | |
| meta.tag.sgml.doctype, meta.tag.sgml.doctype entity, meta.tag.sgml.doctype string, meta.tag.preprocessor.xml, meta.tag.preprocessor.xml entity, meta.tag.preprocessor.xml string | #888888 | |
| string.quoted.docinfo.doctype.DTD | — | |
| meta.tag, declaration.tag | #00A2DF | |
| entity.name.tag | — | |
| entity.other.attribute-name | #FF6421 | |
| markup.heading | #0C07FF | |
| markup.quote | #000000 | |
| markup.list | #B90690 | — |
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}!`;
}