MELFA-Basic

Name: MELFA-Basic
Author: Metaphysix

Publisher: MetaphysixThemes in package: 1

Mitsubishi robot programming language support

GitHub

VS Code preview

Full workbench mockup using this variant's colors and tokenColors.

MELFA-Basic — Dark Theme for MELFA-Basic

fetchUser.ts

index.ts

README.md

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Dark+

colors

Workbench UI color keys from the theme JSON colors map.

actionBar.toggledBackground#383a49
activityBar.activeBorder#0078d4
activityBar.background#181818
activityBar.border#2b2b2b
activityBar.foreground#d7d7d7
activityBar.inactiveForeground#868686
activityBarBadge.background#0078d4
activityBarBadge.foreground#ffffff
badge.background#616161
badge.foreground#f8f8f8
button.background#0078d4
button.border#ffffff12
button.foreground#ffffff
button.hoverBackground#026ec1
button.secondaryBackground#313131
button.secondaryForeground#cccccc
button.secondaryHoverBackground#3c3c3c
chat.slashCommandBackground#34414b
chat.slashCommandForeground#40a6ff
checkbox.background#313131
checkbox.border#3c3c3c
debugToolBar.background#181818
descriptionForeground#9d9d9d
dropdown.background#313131
dropdown.border#3c3c3c
dropdown.foreground#cccccc
dropdown.listBackground#1f1f1f
editor.background#1f1f1f
editor.findMatchBackground#9e6a03
editor.foreground#cccccc
editor.inactiveSelectionBackground#3a3d41
editor.selectionHighlightBackground#add6ff26
editorGroup.border#ffffff17
editorGroupHeader.tabsBackground#181818
editorGroupHeader.tabsBorder#2b2b2b
editorGutter.addedBackground#2ea043
editorGutter.deletedBackground#f85149
editorGutter.modifiedBackground#0078d4
editorIndentGuide.activeBackground#707070
editorIndentGuide.background#404040
editorLineNumber.activeForeground#cccccc
editorLineNumber.foreground#6e7681
editorOverviewRuler.border#010409
editorWidget.background#202020
errorForeground#f85149
focusBorder#0078d4
foreground#cccccc
icon.foreground#cccccc
input.background#313131
input.border#3c3c3c
input.foreground#cccccc
input.placeholderForeground#9d9d9d
inputOption.activeBackground#2489db82
inputOption.activeBorder#2488db
keybindingLabel.foreground#cccccc
list.activeSelectionIconForeground#ffffff
list.dropBackground#383b3d
menu.background#1f1f1f
menu.border#454545
menu.foreground#cccccc
menu.separatorBackground#454545
notificationCenterHeader.background#1f1f1f
notificationCenterHeader.foreground#cccccc
notifications.background#1f1f1f
notifications.border#2b2b2b
notifications.foreground#cccccc
panel.background#181818
panel.border#2b2b2b
panelInput.border#2b2b2b
panelTitle.activeBorder#0078d4
panelTitle.activeForeground#cccccc
panelTitle.inactiveForeground#9d9d9d
peekViewEditor.background#1f1f1f
peekViewEditor.matchHighlightBackground#bb800966
peekViewResult.background#1f1f1f
peekViewResult.matchHighlightBackground#bb800966
pickerGroup.border#3c3c3c
ports.iconRunningProcessForeground#369432
progressBar.background#0078d4
quickInput.background#222222
quickInput.foreground#cccccc
settings.dropdownBackground#313131
settings.dropdownBorder#3c3c3c
settings.headerForeground#ffffff
settings.modifiedItemIndicator#bb800966
sideBar.background#181818
sideBar.border#2b2b2b
sideBar.foreground#cccccc
sideBarSectionHeader.background#181818
sideBarSectionHeader.border#2b2b2b
sideBarSectionHeader.foreground#cccccc
sideBarTitle.foreground#cccccc
statusBar.background#181818
statusBar.border#2b2b2b
statusBar.debuggingBackground#0078d4
statusBar.debuggingForeground#ffffff
statusBar.focusBorder#0078d4
statusBar.foreground#cccccc
statusBar.noFolderBackground#1f1f1f
statusBarItem.focusBorder#0078d4
statusBarItem.prominentBackground#6e768166
statusBarItem.remoteBackground#0078d4
statusBarItem.remoteForeground#ffffff
tab.activeBackground#1f1f1f
tab.activeBorder#1f1f1f
tab.activeBorderTop#0078d4
tab.activeForeground#ffffff
tab.border#2b2b2b
tab.hoverBackground#1f1f1f
tab.inactiveBackground#181818
tab.inactiveForeground#9d9d9d
tab.lastPinnedBorder#cccccc33
tab.unfocusedActiveBorder#1f1f1f
tab.unfocusedActiveBorderTop#2b2b2b
tab.unfocusedHoverBackground#1f1f1f
terminal.foreground#cccccc
terminal.inactiveSelectionBackground#3a3d41
terminal.tab.activeBorder#0078d4
textBlockQuote.background#2b2b2b
textBlockQuote.border#616161
textCodeBlock.background#2b2b2b
textLink.activeForeground#40a6ff
textLink.foreground#40a6ff
textSeparator.foreground#21262d
titleBar.activeBackground#181818
titleBar.activeForeground#cccccc
titleBar.border#2b2b2b
titleBar.inactiveBackground#1f1f1f
titleBar.inactiveForeground#9d9d9d
welcomePage.progress.foreground#0078d4
welcomePage.tileBackground#2b2b2b
widget.border#313131

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
meta.embedded, source.groovy.embedded, string meta.image.inline.markdown, variable.legacy.builtin.python	#D4D4D4	—
emphasis	—	italic
strong	—	bold
header	#000080	—
comment	#6A9955	—
constant.language	#569CD6	—
constant.numeric, variable.other.enummember, keyword.operator.plus.exponent, keyword.operator.minus.exponent	#DDBC7A	—
constant.regexp	#646695	—
entity.name.tag	#569CD6	—
entity.name.tag.css	#D7BA7D	—
entity.other.attribute-name	#9CDCFE	—
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	#569CD6	bold
markup.heading	#569CD6	bold
markup.italic	—	italic
markup.strikethrough	—	strikethrough
markup.inserted	#B5CEA8	—
markup.deleted	#CE9178	—
markup.changed	#569CD6	—
punctuation.definition.quote.begin.markdown	#6A9955	—
punctuation.definition.list.begin.markdown	#6796E6	—
markup.inline.raw	#CE9178	—
punctuation.definition.tag	#808080	—
meta.preprocessor, entity.name.function.preprocessor	#569CD6	—
meta.preprocessor.string	#CE9178	—
meta.preprocessor.numeric	#bcccb38c	—
meta.structure.dictionary.key.python	#9CDCFE	—
meta.diff.header	#569CD6	—
storage	#569CD6	—
storage.type	#569CD6	—
storage.modifier, keyword.operator.noexcept	#569CD6	—
string, meta.embedded.assembly	#CE9178	—
string.tag	#CE9178	—
string.value	#CE9178	—
string.regexp	#D16969	—
punctuation.definition.template-expression.begin, punctuation.definition.template-expression.end, punctuation.section.embedded	#569CD6	—
meta.template.expression	#D4D4D4	—
support.type.vendored.property-name, support.type.property-name, variable.css, variable.scss, variable.other.less, source.coffee.embedded	#9CDCFE	—
keyword	#569CD6	—
keyword.control	#569CD6	—
keyword.operator	#b16262	—
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	#569CD6	—
keyword.other.unit	#7f4bbb	—
punctuation.section.embedded.begin.php, punctuation.section.embedded.end.php	#569CD6	—
support.function.git-rebase	#9CDCFE	—
constant.sha.git-rebase	#B5CEA8	—
storage.modifier.import.java, variable.language.wildcard.java, storage.modifier.package.java	#D4D4D4	—
variable.language	#569CD6	—
entity.name.function, support.function, support.constant.handlebars, source.powershell variable.other.member, entity.name.operator.custom-literal	#DCDCAA	—
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	#4EC9B0	—
meta.type.cast.expr, meta.type.new.expr, support.constant.math, support.constant.dom, support.constant.json, entity.other.inherited-class	#4EC9B0	—
keyword.control, source.cpp keyword.operator.new, keyword.operator.delete, keyword.other.using, keyword.other.operator, entity.name.operator	#C586C0	—
variable, meta.definition.variable.name, support.variable, entity.name.variable, constant.other.placeholder	#9CDCFE	—
variable.other.constant, variable.other.enummember	#4FC1FF	—
meta.object-literal.key	#9CDCFE	—
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	#CE9178	—
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	#CE9178	—
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	#DCDCAA	—
keyword.operator.quantifier.regexp	#D7BA7D	—
constant.character, constant.other.option	#569CD6	—
constant.character.escape	#D7BA7D	—
entity.name.label	#C8C8C8	—
token.info-token	#6796E6	—
token.warn-token	#CD9731	—
token.error-token	#F44747	—
token.debug-token	#B267E6	—
declared.constant	#34b5ff	—
digital.input	#bb0073	—

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

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}!`;
}