Edu4Dev - VScode Color Theme
Publisher: Edu4DevThemes in package: 1
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 |
|---|---|---|
| comment, string.quoted.docstring.multi.python | #546A90 | italic |
| string | #47ff9d | — |
| constant.numeric | #ff0 | — |
| constant.language | #df85ff | — |
| constant.character, constant.other | #df85ff | — |
| variable | — | |
| keyword | #ff2afc | — |
| storage | #00cfff | |
| storage.type | #eb4757 | |
| entity.name.class, entity.name.type.class | #A875FF | italic |
| entity.other.inherited-class, meta.other.inherited-class.php | #ff0 | italic |
| entity.name.function - meta.function-call | #f8b630 | |
| variable.parameter | #FFFFFF | |
| entity.name.tag | #00cfff | |
| entity.other.attribute-name | #ff2afc | |
| support.function | #f8b630 | |
| support.constant | #A3D6E0 | |
| support.type, support.class | #00cfff | italic |
| support.other.variable | — | |
| variable.language.this.js, variable.language.this.ts, variable.language.super.js, variable.language.this.php | #00cfff | italic |
| invalid | #cf433e | |
| invalid.deprecated | #cf433e | — |
| meta.diff, meta.diff.header | #456b7c | — |
| markup.deleted | #e61f44 | — |
| markup.inserted | #47ff9d | — |
| markup.changed | #f7b83d | — |
| constant.numeric.line-number.find-in-files - match | #8FBE00A0 | — |
| entity.name.filename.find-in-files | #E6DB74 | — |
| keyword.other | #6494a9 | — |
| meta.property-value, support.constant.property-value, constant.other.color | #cccccc | — |
| meta.structure.dictionary.json string.quoted.double.json | #FF0081 | — |
| support.type.property-name.json | #D86BFF | |
| meta.structure.dictionary.value.json string.quoted.double.json | #7984d1 | — |
| meta.property-name support.type.property-name | — | |
| meta.property-value punctuation.separator.key-value | #b6ced8 | — |
| keyword.other.use, keyword.other.function.use, keyword.other.namespace, keyword.other.new, keyword.other.special-method, keyword.other.unit, keyword.other.use-as | #ff2afc | — |
| support.other.namespace.php | #7984d1 | — |
| meta.use | #1ea8fc | |
| variable.other | #ffffff | |
| keyword.other.phpdoc.php | #A875FF | |
| keyword.other.type.php, meta.other.type.phpdoc.php | #7984D1 | — |
| variable.parameter.function.coffee | #aaaaaa | |
| entity.name.section.markdown | #5dcdfd | — |
| punctuation.definition.heading.markdown | #1ea8fc | — |
| markup.raw.inline.markdown | #cccccc | — |
| punctuation.definition.bold.markdown, punctuation.definition.italic.markdown | #1ea8fc | — |
| punctuation.definition.string.begin.markdown, punctuation.definition.string.end.markdown | #1ea8fc | — |
| punctuation.definition.metadata.markdown | #1ea8fc | — |
| markup.underline.link.markdown, markup.underline.link.image.markdown, meta.image.inline.markdown | #1ea8fc | |
| markup.bold.markdown, markup.italic.markdown | #1ea8fc | — |
| markup.italic.markdown | — | italic |
| markup.bold.markdown | — | bold |
| markup.raw.block.markdown | #664e4d | — |
| markup.deleted.git_gutter | #e61f44 | — |
| markup.inserted.git_gutter | #47ff9d | — |
| markup.changed.git_gutter | #f7b83d | — |
| meta.template.expression | #b6ced8 | — |
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}!`;
}