Challenger Deep Theme
Publisher: grantbachmanThemes in package: 1
Challenger Deep theme extension made with love by a fan. See https://github.com/challenger-deep-theme
Challenger Deep theme extension made with love by a fan. See https://github.com/challenger-deep-theme
Full workbench mockup using this variant's colors and tokenColors.
Workbench UI color keys from the theme JSON colors map.
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| comment | #565575 | — |
| string | #E6DB74 | — |
| constant.numeric, constant.language, constant.character, constant.other | #91ddff | — |
| punctuation.definition, punctuation.brackets | #ff8080 | — |
| punctuation.brackets.curly |
TypeScript sample highlighted with this variant's colors and tokenColors.
| #c991e1 |
| — |
| keyword, storage | #c991e1 | — |
| storage | — |
| storage.type | #aaffe4 | italic |
| entity.name.class | #95ffa4 | underline |
| entity.other.inherited-class | #95ffa4 | italic underline |
| entity.name.function | #95ffa4 |
| variable.parameter | #FD971F | italic |
| entity.name.tag | #c991e1 |
| entity.other.attribute-name | #95ffa4 |
| support.function | #aaffe4 |
| support.constant | #aaffe4 |
| support.type, support.class | #aaffe4 | italic |
| support.other.variable | — |
| invalid | #F8F8F0 |
| invalid.deprecated | #F8F8F0 | — |
| meta.structure.dictionary.json string.quoted.double.json | #CFCFC2 | — |
| meta.diff, meta.diff.header | #75715E | — |
| markup.deleted | #c991e1 | — |
| markup.inserted | #95ffa4 | — |
| markup.changed | #E6DB74 | — |
| markup.deleted.git_gutter | #c991e1 | — |
| markup.inserted.git_gutter | #95ffa4 | — |
| markup.changed.git_gutter | #E6DB74 | — |
| markup.ignored.git_gutter | #75715E | — |
| markup.untracked.git_gutter | #75715E | — |
| constant.numeric.line-number.find-in-files - match | #ff8080A0 | — |
| entity.name.filename.find-in-files | #E6DB74 | — |
| token.info-token | #6796E6 | — |
| token.warn-token | #CD9731 | — |
| token.error-token | #F44747 | — |
| token.debug-token | #B267E6 | — |
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}!`;
}