Robin's Blue Theme
Publisher: RobinD42Themes in package: 1
A basic dark blue editor, with dark non-blue bars.
A basic dark blue editor, with dark non-blue bars.
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 |
|---|---|---|
| meta.embedded, source.groovy.embedded | #FFFFFF | — |
| comment | #4e95c5 | — |
| keyword.operator.class, keyword.operator, constant.other, source.php.embedded.line | #FFFFFF | |
| variable, support.other.variable, string.other.link, string.regexp, entity.name.tag, entity.other.attribute-name, meta.tag, declaration.tag, markup.deleted.git_gutter | #FF9DA4 | — |
| constant.numeric, constant.language, support.constant, constant.character, variable.parameter, punctuation.section.embedded, keyword.other.unit | #FFC58F | |
| entity.name.class, entity.name.type, support.type, support.class | #FFEEAD | |
| string, constant.other.symbol, entity.other.inherited-class, markup.heading, markup.inserted.git_gutter | #D1F1A9 | |
| keyword.operator, constant.other.color | #99FFFF | — |
| entity.name.function, meta.function-call, support.function, keyword.other.special-method, meta.block-level, markup.changed.git_gutter | #BBDAFF | |
| keyword, storage, storage.type, entity.name.tag.css | #EBBBFF | |
| invalid | #FFFFFF | |
| meta.separator | #FFFFFF | — |
| invalid.deprecated | #FFFFFF | |
| markup.inserted.diff, markup.deleted.diff, meta.diff.header.to-file, meta.diff.header.from-file | #FFFFFF | — |
| markup.inserted.diff, meta.diff.header.to-file | #718c00 | — |
| markup.deleted.diff, meta.diff.header.from-file | #c82829 | — |
| meta.diff.header.from-file, meta.diff.header.to-file | #FFFFFF | — |
| meta.diff.range | #3e999f | italic |
| markup.quote | #FFC58F | — |
| markup.list | #BBDAFF | — |
| markup.bold, markup.italic | #FFC58F | — |
| markup.inline.raw | #FF9DA4 | |
| token.info-token | #6796e6 | — |
| token.warn-token | #cd9731 | — |
| token.error-token | #f44747 | — |
| token.debug-token | #b267e6 | — |
| comment | #4e95c5 | — |
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}!`;
}