KUKA KRL Extension

Name: KUKA KRL Extension
Author: LiskinLabs

Publisher: LiskinLabsThemes in package: 67

Professional language support for KUKA Robot Language (KRL) in VS Code

Color themes

VS Code preview

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

KUKA KRL Extension — KRL Bearded Themanopia

fetchUser.ts

index.ts

README.md

srccomponentsfetchUser.tsfetchUser

Problems1

Output

Debug Console

Terminal

Ports

~/my-project $ pnpm dev
▲ Next.js ready on http://localhost:3000
✓ compiled client and server successfully in 412ms
wait - compiling /theme/vscode...
~/my-project

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Dark+

colors

Workbench UI color keys from the theme JSON colors map.

activityBar.activeBackground#9887eb33
activityBar.activeBorder#9887eb
activityBar.background#161921
activityBar.border#0f1016
activityBar.dropBorder#4f587333
activityBar.foreground#9887eb
activityBar.inactiveForeground#4e5366
activityBarBadge.background#9887eb
activityBarBadge.foreground#161921
activityBarTop.activeBorder#9887eb
activityBarTop.dropBorder#4f587333
activityBarTop.foreground#9887eb
activityBarTop.inactiveForeground#5b5f6a
badge.background#9887eb
badge.foreground#161921
breadcrumb.background#1b1e28
breadcrumbPicker.background#252937
button.background#9887eb80
button.border#ffffff26
button.foreground#ebe7fb
button.hoverBackground#9887eb99
button.secondaryBackground#292e3d
button.secondaryForeground#ccd0dccc
button.secondaryHoverBackground#303546
button.separator#ffffff4d
charts.blue#32A7FF
charts.foreground#ccd0dc
charts.green#38FFA1
charts.lines#ccd0dc
charts.orange#FFAF86
charts.purple#FF97BF
charts.red#FF5B82
charts.yellow#F5DEC1
checkbox.foreground#ccd0dc
commandCenter.activeBackground#25293761
commandCenter.activeForeground#aeb4c78f
commandCenter.background#1b1e28
commandCenter.border#0f1016
commandCenter.foreground#4f5873
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#FF5B82
debugConsole.infoForeground#32A7FF
debugConsole.warningForeground#FFAF86
debugExceptionWidget.background#252937
debugExceptionWidget.border#0f1016
debugIcon.breakpointCurrentStackframeForeground#FF5B82
debugIcon.breakpointDisabledForeground#ff5b8280
debugIcon.breakpointForeground#FF5B82
debugIcon.continueForeground#32A7FF
debugIcon.disconnectForeground#FF5B82
debugIcon.pauseForeground#FF5B82
debugIcon.restartForeground#38FFA1
debugIcon.startForeground#38FFA1
debugIcon.stepBackForeground#32A7FF
debugIcon.stepIntoForeground#32A7FF
debugIcon.stepOutForeground#32A7FF
debugIcon.stepOverForeground#32A7FF
debugIcon.stopForeground#FF5B82
debugToolBar.background#262739
descriptionForeground#ccd0dc80
diffEditor.border#0f1016
diffEditor.diagonalFill#252937
diffEditor.insertedLineBackground#38ffa11a
diffEditor.insertedTextBackground#38ffa11a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#f5dec14d
diffEditor.moveActive.border#f5dec1b3
diffEditor.removedLineBackground#ff5b821a
diffEditor.removedTextBackground#ff5b821a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#14171e
diffEditor.unchangedRegionBackground#14171e
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#38ffa126
diffEditorOverview.removedForeground#ff5b8230
disabledForeground#ccd0dc4d
dropdown.background#202430
dropdown.border#3d4252
dropdown.foreground#ccd0dc
dropdown.listBackground#202430
editor.background#1b1e28
editor.findMatchBackground#9887eb30
editor.findMatchBorder#9887eb61
editor.findMatchHighlightBackground#9887eb3d
editor.findMatchHighlightBorder#9887eb5c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#4f5873
editor.foreground#ccd0dc
editor.hoverHighlightBackground#9887eb4d
editor.inactiveSelectionBackground#9887eb4d
editor.lineHighlightBackground#9887eb0f
editor.lineHighlightBorder#9887eb26
editor.linkedEditingBackground#32a7ff33
editor.rangeHighlightBackground#9887eb3d
editor.selectionBackground#9887eb4d
editor.selectionForeground#ccd0dc
editor.selectionHighlightBackground#9887eb14
editor.selectionHighlightBorder#9887eb4d
editor.wordHighlightBackground#9887eb73
editor.wordHighlightBorder#9887eb8a
editor.wordHighlightStrongBackground#9887eb4d
editorBracketHighlight.foreground1#F5DEC1
editorBracketHighlight.foreground2#FF97BF
editorBracketHighlight.foreground3#32A7FF
editorBracketHighlight.foreground4#5F77DC
editorBracketHighlight.foreground5#4AE0D1
editorBracketHighlight.foreground6#00F0FD
editorBracketHighlight.unexpectedBracket.foreground#FF5B82
editorBracketMatch.background#9887eb4d
editorBracketMatch.border#9887eb73
editorCodeLens.foreground#aeb4c780
editorCursor.background#9887eb
editorCursor.foreground#F5DEC1
editorError.border#00000000
editorError.foreground#FF5B82
editorGhostText.border#00000000
editorGhostText.foreground#ccd0dc70
editorGroup.border#0f1016
editorGroup.dropBackground#9887eb14
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#1b1e28
editorGroupHeader.tabsBackground#161921
editorGroupHeader.tabsBorder#0f1016
editorGutter.addedBackground#38ffa1cc
editorGutter.background#1b1e28
editorGutter.commentRangeForeground#252937
editorGutter.deletedBackground#ff5b82cc
editorGutter.modifiedBackground#32a7ffcc
editorHoverWidget.background#252937
editorHoverWidget.border#0f1016
editorIndentGuide.activeBackground1#4f5873e6
editorIndentGuide.background1#4f587366
editorInfo.border#00000000
editorInlayHint.background#aeb4c71a
editorInlayHint.foreground#aeb4c7b3
editorInlayHint.parameterBackground#aeb4c71a
editorInlayHint.parameterForeground#aeb4c7b3
editorInlayHint.typeBackground#aeb4c71a
editorInlayHint.typeForeground#aeb4c7b3
editorLineNumber.activeForeground#8f96ac
editorLineNumber.foreground#3e4354
editorLink.activeForeground#ccd0dc
editorMarkerNavigation.background#161921
editorMarkerNavigationError.background#ff5b828f
editorMarkerNavigationInfo.background#32a7ff8f
editorMarkerNavigationWarning.background#ffaf868f
editorOverviewRuler.addedForeground#38ffa180
editorOverviewRuler.border#0f1016
editorOverviewRuler.deletedForeground#ff5b8280
editorOverviewRuler.errorForeground#FF5B82
editorOverviewRuler.incomingContentForeground#38ffa180
editorOverviewRuler.infoForeground#32a7ff80
editorOverviewRuler.modifiedForeground#32a7ff80
editorOverviewRuler.selectionHighlightForeground#9887eb80
editorOverviewRuler.warningForeground#FFAF86
editorRuler.foreground#4f587333
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#212531
editorSuggestWidget.background#1f232e
editorSuggestWidget.border#0f1016
editorSuggestWidget.foreground#aeb4c7
editorSuggestWidget.highlightForeground#F5DEC1
editorSuggestWidget.selectedBackground#303546
editorSuggestWidget.selectedIconForeground#ccd0dc
editorUnnecessaryCode.border#aeb4c799
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#F5DEC1
editorWhitespace.foreground#4f587360
editorWidget.background#252937
editorWidget.border#303546
editorWidget.resizeBorder#9887eb50
errorForeground#FF5B82
errorLens.errorForeground#ff5b82fc
errorLens.hintForeground#32a7fffc
errorLens.infoForeground#32a7fffc
errorLens.warningForeground#ffaf86fc
extensionButton.background#9887eb80
extensionButton.foreground#ebe7fb
extensionButton.hoverBackground#9887eb99
extensionButton.prominentBackground#9887eb9d
extensionButton.prominentForeground#ccd0dc
extensionButton.prominentHoverBackground#9887eb
focusBorder#444c65
foreground#aeb4c7
gitDecoration.conflictingResourceForeground#9887eb
gitDecoration.deletedResourceForeground#FF5B82
gitDecoration.ignoredResourceForeground#4f5873
gitDecoration.modifiedResourceForeground#32A7FF
gitDecoration.untrackedResourceForeground#38FFA1
icon.foreground#aeb4c7ab
inlineChat.background#252937
inlineChat.border#303546
inlineChatInput.background#1f232e
inlineChatInput.border#303546
inlineChatInput.focusBorder#444c65
inlineEdit.gutterIndicator.background#aeb4c780
inlineEdit.gutterIndicator.primaryBackground#e7af69b3
inlineEdit.gutterIndicator.primaryBorder#e7af69
inlineEdit.gutterIndicator.primaryForeground#070709
inlineEdit.gutterIndicator.secondaryBackground#4d30dcb3
inlineEdit.gutterIndicator.secondaryBorder#4d30dc
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#00d16eb3
inlineEdit.gutterIndicator.successfulBorder#00d16e
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#38ffa126
inlineEdit.modifiedBorder#38ffa1cc
inlineEdit.modifiedChangedLineBackground#38ffa114
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#ff5b8226
inlineEdit.originalBorder#ff5b82cc
inlineEdit.originalChangedLineBackground#ff5b82cc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#38FFA1
inlineEdit.tabWillAcceptOriginalBorder#FF5B82
input.background#202430
input.border#3d4252
input.foreground#ccd0dc
input.placeholderForeground#5e657e
inputOption.activeBackground#596383
inputOption.activeBorder#00000000
inputOption.activeForeground#ccd0dc
inputOption.hoverBackground#303546
inputValidation.errorBackground#252937
inputValidation.errorBorder#F5DEC1
inputValidation.infoBackground#252937
inputValidation.infoBorder#9887eb
inputValidation.warningBackground#252937
inputValidation.warningBorder#F5DEC1
keybindingLabel.background#252937
keybindingLabel.border#585c6a
keybindingLabel.bottomBorder#585c6a
keybindingLabel.foreground#8a8e9e
list.activeSelectionBackground#3a405573
list.activeSelectionForeground#ccd0dc
list.dropBackground#9887eb15
list.errorForeground#FF5B82
list.focusBackground#9887eb40
list.focusForeground#aeb4c7
list.highlightForeground#F5DEC1
list.hoverBackground#3a40554d
list.hoverForeground#fafafa
list.inactiveSelectionBackground#3a405540
list.inactiveSelectionForeground#ccd0dc
list.warningForeground#FFAF86
menu.background#252937
menu.border#0f1016
menu.foreground#a6a9b5
menu.selectionForeground#fafafa
menu.separatorBackground#0f101665
menubar.selectionBackground#252937
menubar.selectionForeground#aeb4c7
merge.border#0f1016
merge.commonContentBackground#f5dec130
merge.commonHeaderBackground#f5dec180
merge.currentContentBackground#38ffa130
merge.currentHeaderBackground#38ffa180
merge.incomingContentBackground#32a7ff30
merge.incomingHeaderBackground#32a7ff80
minimap.background#1b1e28
minimap.errorHighlight#FF5B82
minimap.findMatchHighlight#9887eb
minimap.selectionHighlight#9887eb
minimap.selectionOccurrenceHighlight#9887eb
minimap.warningHighlight#FFAF86
minimapGutter.addedBackground#38FFA1
minimapGutter.deletedBackground#FF5B82
minimapGutter.modifiedBackground#32A7FF
multiDiffEditor.border#0f1016
multiDiffEditor.headerBackground#252937
notificationCenterHeader.background#252937
notificationCenterHeader.foreground#ccd0dc
notificationLink.foreground#F5DEC1
notifications.background#252937
notifications.border#0f1016
notifications.foreground#aeb4c7
notificationsErrorIcon.foreground#FF5B82
notificationsInfoIcon.foreground#32A7FF
notificationsWarningIcon.foreground#FFAF86
panel.background#181b24
panel.border#0f1016
panel.dropBorder#4f587380
panelInput.border#303546
panelSection.border#0f1016
panelSectionHeader.background#1e222d
panelSectionHeader.border#0f1016
panelSectionHeader.foreground#ccd0dc
panelTitle.activeBorder#9887eb
panelTitle.activeForeground#9887eb
panelTitle.inactiveForeground#4f5873
peekView.border#0f1016
peekViewEditor.background#232734
peekViewEditor.matchHighlightBackground#25293740
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#232734
peekViewEditorStickyScroll.background#212531
peekViewResult.background#202430
peekViewResult.fileForeground#ccd0dc
peekViewResult.lineForeground#aeb4c7
peekViewResult.matchHighlightBackground#9887eb80
peekViewResult.selectionBackground#9887eb33
peekViewResult.selectionForeground#ccd0dc
peekViewTitle.background#252937
peekViewTitleDescription.foreground#ccd0dc
peekViewTitleLabel.foreground#ccd0dc
pickerGroup.border#0f1016
pickerGroup.foreground#ccd0dc
profileBadge.background#9887eb
profileBadge.foreground#1b1e28
progressBar.background#F5DEC1
quickInput.background#212531
quickInput.foreground#ccd0dcb3
quickInputList.focusBackground#4e567473
quickInputList.focusForeground#fafafa
quickInputList.focusIconForeground#ccd0dc
quickInputTitle.background#161921
sash.hoverBorder#9887eb50
scmGraph.foreground1#32A7FF
scmGraph.foreground2#FF97BF
scmGraph.foreground3#C9FFAE
scmGraph.foreground4#4AE0D1
scmGraph.foreground5#00F0FD
scmGraph.historyItemBaseRefColor#5F77DC
scmGraph.historyItemHoverAdditionsForeground#38FFA1
scmGraph.historyItemHoverDefaultLabelBackground#aeb4c7
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#FF5B82
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#F5DEC1
scmGraph.historyItemRemoteRefColor#32A7FF
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#ccd0dc4d
scrollbarSlider.background#ccd0dc26
scrollbarSlider.hoverBackground#ccd0dc33
selection.background#9887eb61
settings.headerForeground#ccd0dc
settings.modifiedItemIndicator#9887eb
settings.settingsHeaderHoverForeground#ccd0dc
sideBar.background#161921
sideBar.border#0f1016
sideBar.foreground#aeb4c7cc
sideBarSectionHeader.background#161921
sideBarSectionHeader.border#0f1016
sideBarSectionHeader.foreground#ccd0dc
sideBarStickyScroll.background#12141b
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#4f5873
statusBar.background#1b1e28
statusBar.border#0f1016
statusBar.debuggingBackground#31314a
statusBar.debuggingForeground#a390de
statusBar.foreground#aeb4c780
statusBar.noFolderBackground#161921
statusBar.noFolderBorder#0f1016
statusBar.noFolderForeground#aeb4c7cc
statusBarItem.activeBackground#252937
statusBarItem.compactHoverBackground#9887ebcc
statusBarItem.errorBackground#FF5B82
statusBarItem.errorForeground#5b0016
statusBarItem.errorHoverBackground#ff8ea9
statusBarItem.errorHoverForeground#1b1e28
statusBarItem.hoverBackground#3d3b5c
statusBarItem.hoverForeground#ccd0dc
statusBarItem.offlineBackground#FF97BF
statusBarItem.offlineForeground#97003a
statusBarItem.offlineHoverBackground#ffcade
statusBarItem.offlineHoverForeground#1b1e28
statusBarItem.prominentBackground#1b1e28
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#303546
statusBarItem.prominentHoverForeground#1b1e28
statusBarItem.remoteBackground#4AE0D1
statusBarItem.remoteForeground#062522
statusBarItem.remoteHoverBackground#76e7dc
statusBarItem.remoteHoverForeground#1b1e28
statusBarItem.warningBackground#FFAF86
statusBarItem.warningForeground#862d00
statusBarItem.warningHoverBackground#ffd1b9
statusBarItem.warningHoverForeground#1b1e28
tab.activeBackground#262739
tab.activeBorder#1b1e28
tab.activeBorderTop#9887eb
tab.activeForeground#ccd0dc
tab.border#0f1016
tab.hoverBackground#1b1e28
tab.inactiveBackground#161921
tab.inactiveForeground#4f5873
tab.lastPinnedBorder#0f1016
tab.unfocusedActiveBorder#1b1e28
tab.unfocusedActiveForeground#9887eb
tab.unfocusedHoverBackground#1b1e28
tab.unfocusedInactiveForeground#4f5873
terminal.ansiBlack#1b1e28
terminal.ansiBlue#32A7FF
terminal.ansiBrightBlack#414961
terminal.ansiBrightBlue#32a7ff
terminal.ansiBrightCyan#2bffea
terminal.ansiBrightGreen#38ffa1
terminal.ansiBrightMagenta#ff97bf
terminal.ansiBrightRed#ff5b82
terminal.ansiBrightWhite#ffffff
terminal.ansiBrightYellow#ffdfb7
terminal.ansiCyan#4AE0D1
terminal.ansiGreen#38FFA1
terminal.ansiMagenta#FF97BF
terminal.ansiRed#FF5B82
terminal.ansiWhite#ccd0dc
terminal.ansiYellow#F5DEC1
terminal.background#181b24
terminal.foreground#ccd0dc
terminal.selectionForeground#ccd0dc
terminalCursor.background#1b1e28
terminalCursor.foreground#F5DEC1
terminalStickyScrollHover.background#212531
textBlockQuote.background#32a7ff33
textBlockQuote.border#32a7ffb9
textCodeBlock.background#32a7ff33
textLink.activeForeground#9887eb
textLink.foreground#9887eb
textPreformat.background#413f43
textPreformat.foreground#F5DEC1
textSeparator.foreground#9887eb
titleBar.activeBackground#101218
titleBar.activeForeground#ccd0dc66
titleBar.border#0f1016
titleBar.inactiveBackground#101218
titleBar.inactiveForeground#4f5873
toolbar.activeBackground#4f587380
toolbar.hoverBackground#4f58734d
tree.indentGuidesStroke#4f587370
walkThrough.embeddedEditorBackground#1b1e28
welcomePage.progress.background#252937
welcomePage.progress.foreground#9887eb
welcomePage.tileBackground#aeb4c71a
welcomePage.tileBorder#aeb4c733
welcomePage.tileHoverBackground#aeb4c733
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#4f5873	—
string	#38FFA1	—
constant.numeric	#FFAF86	—
constant.language, constant.other	#FF5B82	—
keyword.operator	#ccd0dc	—
storage.type, storage.modifier	#4AE0D1	—
comment.line	#4f5873	italic
comment.line, comment.line.semicolon.krl, comment.line.ampersand.krl, comment.line.bug.krl, comment.line.fixme.krl, comment.line.hack.krl, comment.line.note.krl, comment.line.todo.krl	#4f5873	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#4e818f	italic
keyword.control.krl	#FF97BF	bold
keyword.function.movement.krl	#32A7FF	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#4AE0D1	italic
variable.language.system.krl	#FF5B82
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#FFAF86	—
string.quoted.double.krl	#38FFA1	—
variable.function.krl	—	—
constant.language.enum.krl, variable.other.enummember.krl	#FF5B82	—
support.function.builtin.krl	—	—
keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl	#ccd0dc	—

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