Mantis
Publisher: Daniel Ceron ClarosThemes in package: 3
A personalization to my liking of the default Dark+ theme.
A personalization to my liking of the default Dark+ theme.
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, string meta.image.inline.markdown | #D4D4D4 | — |
| emphasis | — | italic |
| strong | — | bold |
| header | #000080 | — |
| comment | #6A9955 | — |
| constant.language | #d65656 | — |
| constant.numeric, variable.other.enummember, keyword.operator.plus.exponent, keyword.operator.minus.exponent | #b5cea8 | — |
| constant.regexp | #646695 | — |
| entity.name.tag | #d65656 | — |
| entity.name.tag.css | #d7ba7d | — |
| entity.other.attribute-name | #b9c6d1 | — |
| entity.other.attribute-name.class.css, entity.other.attribute-name.class.mixin.css, entity.other.attribute-name.id.css, entity.other.attribute-name.parent-selector.css, entity.other.attribute-name.pseudo-class.css, entity.other.attribute-name.pseudo-element.css, source.css.less entity.other.attribute-name.id, entity.other.attribute-name.scss | #d7ba7d | — |
| invalid | #f44747 | — |
| markup.underline | — | underline |
| markup.bold | #d65656 | bold |
| markup.heading | #d65656 | bold |
| markup.italic | — | italic |
| markup.strikethrough | — | strikethrough |
| markup.inserted | #b5cea8 | — |
| markup.deleted | #f29766 | — |
| markup.changed | #d65656 | — |
| punctuation.definition.quote.begin.markdown | #6A9955 | — |
| punctuation.definition.list.begin.markdown | #6796e6 | — |
| markup.inline.raw | #f29766 | — |
| punctuation.definition.tag | #808080 | — |
| meta.preprocessor, entity.name.function.preprocessor | #d65656 | — |
| meta.preprocessor.string | #f29766 | — |
| meta.preprocessor.numeric | #b5cea8 | — |
| meta.structure.dictionary.key.python | #b9c6d1 | — |
| meta.diff.header | #d65656 | — |
| storage | #d65656 | — |
| storage.type | #d65656 | — |
| storage.modifier, keyword.operator.noexcept | #d65656 | — |
| string, meta.embedded.assembly | #f29766 | — |
| string.tag | #f29766 | — |
| string.value | #f29766 | — |
| string.regexp | #d16969 | — |
| punctuation.definition.template-expression.begin, punctuation.definition.template-expression.end, punctuation.section.embedded | #d65656 | — |
| meta.template.expression | #d4d4d4 | — |
| support.type.vendored.property-name, support.type.property-name, variable.css, variable.scss, variable.other.less, source.coffee.embedded | #b9c6d1 | — |
| keyword | #d65656 | — |
| keyword.control | #d65656 | — |
| keyword.operator | #d4d4d4 | — |
| keyword.operator.new, keyword.operator.expression, keyword.operator.cast, keyword.operator.sizeof, keyword.operator.alignof, keyword.operator.typeid, keyword.operator.alignas, keyword.operator.instanceof, keyword.operator.logical.python, keyword.operator.wordlike | #d65656 | — |
| keyword.other.unit | #b5cea8 | — |
| punctuation.section.embedded.begin.php, punctuation.section.embedded.end.php | #d65656 | — |
| support.function.git-rebase | #b9c6d1 | — |
| constant.sha.git-rebase | #b5cea8 | — |
| storage.modifier.import.java, variable.language.wildcard.java, storage.modifier.package.java | #d4d4d4 | — |
| variable.language | #d65656 | — |
| entity.name.function, support.function, support.constant.handlebars, source.powershell variable.other.member, entity.name.operator.custom-literal | #D2C057 | — |
| support.class, support.type, entity.name.type, entity.name.namespace, entity.other.attribute, entity.name.scope-resolution, entity.name.class, storage.type.numeric.go, storage.type.byte.go, storage.type.boolean.go, storage.type.string.go, storage.type.uintptr.go, storage.type.error.go, storage.type.rune.go, storage.type.cs, storage.type.generic.cs, storage.type.modifier.cs, storage.type.variable.cs, storage.type.annotation.java, storage.type.generic.java, storage.type.java, storage.type.object.array.java, storage.type.primitive.array.java, storage.type.primitive.java, storage.type.token.java, storage.type.groovy, storage.type.annotation.groovy, storage.type.parameters.groovy, storage.type.generic.groovy, storage.type.object.array.groovy, storage.type.primitive.array.groovy, storage.type.primitive.groovy | #00e1b3 | — |
| meta.type.cast.expr, meta.type.new.expr, support.constant.math, support.constant.dom, support.constant.json, entity.other.inherited-class | #00e1b3 | — |
| keyword.control, source.cpp keyword.operator.new, keyword.operator.delete, keyword.other.using, keyword.other.operator, entity.name.operator | #d952c2 | — |
| variable, meta.definition.variable.name, support.variable, entity.name.variable, constant.other.placeholder | #b9c6d1 | — |
| variable.other.constant, variable.other.enummember | #4FC1FF | — |
| meta.object-literal.key | #b9c6d1 | — |
| support.constant.property-value, support.constant.font-name, support.constant.media-type, support.constant.media, constant.other.color.rgb-value, constant.other.rgb-value, support.constant.color | #f29766 | — |
| punctuation.definition.group.regexp, punctuation.definition.group.assertion.regexp, punctuation.definition.character-class.regexp, punctuation.character.set.begin.regexp, punctuation.character.set.end.regexp, keyword.operator.negation.regexp, support.other.parenthesis.regexp | #f29766 | — |
| constant.character.character-class.regexp, constant.other.character-class.set.regexp, constant.other.character-class.regexp, constant.character.set.regexp | #d16969 | — |
| keyword.operator.or.regexp, keyword.control.anchor.regexp | #D2C057 | — |
| keyword.operator.quantifier.regexp | #d7ba7d | — |
| constant.character | #d65656 | — |
| constant.character.escape | #d7ba7d | — |
| entity.name.label | #C8C8C8 | — |
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, punctuation.definition.comment | #6a9955 | italic |
| punctuation.definition.string.begin, punctuation.definition.string.end | #86d17a | — |
| string.quoted.single, string.quoted.double, string.quoted.triple | #a6e3a1 | — |
| punctuation.definition.string.template.begin, punctuation.definition.string.template.end, string.template punctuation.definition.string.begin, string.template punctuation.definition.string.end | #76c76c | — |
| string.template, string.quoted.template | #96d96b | — |
| punctuation.definition.template-expression.begin, punctuation.definition.template-expression.end, punctuation.section.embedded.begin, punctuation.section.embedded.end | #ff8c42 | — |
| meta.template.expression | #e1e5e9 | — |
| constant.character.escape | #66b366 | — |
| string.regexp | #4ec9b0 | — |
| constant.numeric, constant.numeric.decimal, constant.numeric.integer, constant.numeric.float, constant.numeric.hex, constant.numeric.binary, constant.numeric.octal | #79d4fd | — |
| keyword | #ff7b54 | — |
| keyword.control, keyword.control.flow, keyword.control.conditional, keyword.control.loop, keyword.control.return, keyword.control.throw, keyword.control.try, keyword.control.catch, keyword.control.finally | #ff6b35 | — |
| storage.type.function | #ff8c42 | — |
| storage.type | #e94c4c | — |
| storage.modifier | #ff49ad | — |
| keyword.other.new, keyword.operator.new | #ff8c42 | — |
| keyword.control.import, keyword.control.export, keyword.control.from, keyword.control.as, keyword.control.default | #ff54ff | — |
| keyword.operator, keyword.operator.arithmetic, keyword.operator.comparison, keyword.operator.logical, keyword.operator.assignment, punctuation.separator, punctuation.terminator | #d4d4d4 | — |
| keyword.operator.typeof, keyword.operator.instanceof, keyword.operator.in, keyword.operator.of, keyword.operator.delete, keyword.operator.void | #ff8c42 | — |
| storage.type.function.arrow | #ff6b35 | — |
| entity.name.type, support.type, support.class, entity.name.class | #4dd0e1 | — |
| support.type.primitive, support.type.builtin, entity.name.type.ts, entity.name.type.js | #26c6da | — |
| entity.name.type.interface | #00e5ff | — |
| entity.name.type.parameter, meta.type.parameters | #80deea | — |
| entity.name.function, support.function | #ffd54f | — |
| variable.function, meta.function-call | #ffcc02 | — |
| meta.function-call.method | #ffe082 | — |
| variable.other.readwrite, variable.other.object | #7db3d1 | — |
| meta.function.parameters | #a5c9e1 | — |
| variable.parameter | #a5c9e1 | — |
| variable.other.constant, variable.other.enummember | #4fc3f7 | — |
| variable.language, variable.language.this, variable.language.super, constant.language | #ef5350 | italic |
| variable.object.property, support.variable.property | #d4a5e8 | — |
| meta.object-literal.key, string.unquoted.label | #ce93d8 | — |
| support.type.property-name.css | #ba68c8 | — |
| entity.name.tag.tsx, entity.name.tag.jsx | #f48fb1 | — |
| support.class.component.tsx, support.class.component.jsx | #ff4081 | — |
| entity.other.attribute-name.tsx, entity.other.attribute-name.jsx | #ffc1cc | — |
| entity.name.tag.html | #ef5350 | — |
| entity.other.attribute-name.html | #90caf9 | — |
| punctuation.definition.tag.begin, punctuation.definition.tag.end | #8892a0 | — |
| punctuation.definition.block, punctuation.definition.brackets, punctuation.definition.parameters, punctuation.definition.array | #c9d1d9 | — |
| punctuation.decorator, meta.decorator | #e91e63 | — |
| invalid, invalid.illegal | #f44336 | — |
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 | #4d724d | italic |
| punctuation.definition.comment | #4d634d | — |
| string | #fbbf24 | — |
| string.quoted | #f59e0b | — |
| string.template | #d97706 | — |
| punctuation.definition.string | #92400e | — |
| punctuation.definition.template-expression | #b45309 | — |
| constant.numeric | #06b6d4 | — |
| constant.language.boolean | #0891b2 | — |
| constant.language.null | #0e7490 | — |
| constant.language.undefined | #155e75 | — |
| keyword.control | #a855f7 | — |
| keyword.control.flow | #ff3333 | — |
| keyword.control.conditional | #ce358e | — |
| keyword.control.loop | #6d28d9 | — |
| keyword.control.trycatch | #5b21b6 | — |
| keyword.control.switch | #4c1d95 | — |
| keyword.operator.new | #c084fc | — |
| keyword.other.debugger | #ddd6fe | — |
| storage.type.function | #c649d1 | — |
| storage.type.class | #c4b5fd | — |
| storage.type | #c649d1 | — |
| storage.modifier | #c90000 | — |
| keyword.control.import | #38bdf8 | — |
| keyword.control.export | #0ea5e9 | — |
| keyword.control.from | #0284c7 | — |
| keyword.control.as | #0369a1 | — |
| keyword.control.default | #075985 | — |
| entity.name.function | #fbbf24 | — |
| meta.function-call entity.name.function | #f59e0b | — |
| support.function | #d97706 | — |
| meta.function-call | #b45309 | — |
| support.function.console | #92400e | — |
| support.function.builtin | #78350f | — |
| support.function.dom | #451a03 | — |
| entity.name.type | #10b981 | — |
| entity.name.class | #059669 | — |
| support.class | #047857 | — |
| entity.other.inherited-class | #065f46 | — |
| storage.type.primitive | #064e3b | — |
| keyword.type | #022c22 | — |
| support.type.primitive | #34d399 | — |
| entity.name.type.interface | #6ee7b7 | — |
| entity.name.type.alias | #9deccd | — |
| meta.type.parameters | #c6f6d5 | — |
| variable | #e5e7eb | — |
| variable.other.readwrite | #d1d5db | — |
| variable.other.object | #ffff7f | — |
| variable.other.constant | #6b7280 | — |
| variable.other.enummember | #4b5563 | — |
| variable.language.arguments | #374151 | — |
| support.variable.property | #1f2937 | — |
| variable.other.property | #38bdf8 | — |
| meta.object-literal.key | #0ea5e9 | — |
| variable.language.this | #a855f7 | italic |
| variable.language.super | #9333ea | italic |
| keyword.operator | #f472b6 | — |
| keyword.operator.arithmetic | #ec4899 | — |
| keyword.operator.comparison | #db2777 | — |
| keyword.operator.logical | #be185d | — |
| keyword.operator.assignment | #9d174d | — |
| keyword.operator.spread | #831843 | — |
| keyword.operator.rest | #701a75 | — |
| punctuation.separator | #d1d5db | — |
| punctuation.terminator | #ffff7f | — |
| punctuation.accessor | #6b7280 | — |
| punctuation.definition.block | #4b5563 | — |
| punctuation.definition.parameters | #374151 | — |
| punctuation.definition.array | #1f2937 | — |
| entity.name.tag.jsx | #38bdf8 | — |
| entity.name.tag.tsx | #0ea5e9 | — |
| entity.other.attribute-name.jsx | #0284c7 | — |
| entity.other.attribute-name.tsx | #0369a1 | — |
| punctuation.definition.tag.jsx | #075985 | — |
| punctuation.definition.tag.tsx | #0c4a6e | — |
| support.type.property-name.json | #38bdf8 | — |
| string.regexp | #f59e0b | — |
| constant.character.character-class.regexp | #d97706 | — |
| constant.other.character-class.regexp | #b45309 | — |
| meta.decorator | #c084fc | italic |
| punctuation.decorator | #c90000 | — |
| markup.bold | #fbbf24 | — |
| markup.heading | #f59e0b | — |
| markup.italic | #38bdf8 | italic |
| invalid | #ef4444 | — |
| invalid.illegal | #dc2626 | — |
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}!`;
}
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}!`;
}