The Best Themes for programmers
Publisher: Estevam SouzaThemes in package: 127
🎨🚀 A never seen collection of 165 hand crafted themes no where to be found on Internet 💻
🎨🚀 A never seen collection of 165 hand crafted themes no where to be found on Internet 💻
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 |
|---|---|---|
| source.java comment, comment.line.java-properties | #3F7F5F | — |
| comment.block.javadoc.java, comment | #3F5FBF | — |
| keyword.other.documentation.javadoc.java | #7F9FBF | bold |
| entity.other.attribute-name.localname.xml, entity.other.attribute-name.xml, variable.language.documentroot.xml, support.type.property-name.json | #7F007F | — |
| entity.name.tag.localname.xml, entity.name.tag.xml, keyword.other.doctype.xml | #3F7F7F | — |
| constant.character.entity.xml | #2A00FF | — |
| punctuation.definition.tag.xml | #008080 | — |
| entity.name.tag.yaml, source.editorconfig keyword.other.definition | #268BD2 | — |
| string.unquoted.plain.out.yaml, string.quoted.double.yaml, string.quoted.single.yaml, source.editorconfig constant.language | #2AA198 | — |
| source.yaml constant.numeric, source.editorconfig constant.numeric | #D33682 | — |
| source.yaml constant.language, source.editorconfig constant.language.boolean | #B58900 | — |
| markup.italic.markdown | — | italic |
| markup.bold.markdown | — | bold |
| markup.bold.markdown markup.italic.markdown | — | bold italic |
| markup.heading.markdown | #172F47 | bold |
| markup.inline.raw.string.markdown, markup.fenced_code.block.markdown | #4444CC | — |
| markup.quote.markdown | #265691 | — |
| entity.name.type.class.java, entity.name.type.enum.java, entity.other.inherited-class.java, storage.type.java, variable.other.object.java, storage.type.generic.java, storage.type.object.array.java, entity.name.function.java, meta.embedded.block, support.constant.java-properties, punctuation.separator.key-value.java-properties | #000000 | — |
| constant.other.enum.java | #0000C0 | italic bold |
| punctuation.definition.annotation.java, storage.type.annotation.java | #646464 | — |
| variable.other.definition.java, variable.parameter.java | #6A3E3E | — |
| storage.modifier.java, storage.modifier.extends.java, storage.modifier.super.java, storage.modifier.implements.java, storage.type.primitive.java, storage.type.primitive.array.java, constant.language.java, keyword.other.import.java, keyword.other.package.java, keyword.control.java, keyword.control.new.java, keyword.control.try.java, keyword.control.catch.java, keyword.control.finally.java, keyword.control.throw.java, keyword.operator.instanceof.java, variable.language.java, variable.language.this.java, variable.other.object.property.java | #7F0055 | bold |
| constant.numeric | #000000 | — |
| constant.numeric.json | #FF0000 | — |
| constant.language.json | #FF8C00 | — |
| string.quoted.double, string.quoted.single, string.unquoted.java-properties | #2A00FF | — |
| string.quoted.double.xml, string.quoted.double.json | — | italic |
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}!`;
}