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 Arc Blue Berry

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#8eb0e626
activityBar.activeBorder#8eb0e6
activityBar.background#0d101b
activityBar.border#07080e
activityBar.dropBorder#3c477633
activityBar.foreground#8eb0e6
activityBar.inactiveForeground#424761
activityBarBadge.background#8eb0e6
activityBarBadge.foreground#0d101b
activityBarTop.activeBorder#8eb0e6
activityBarTop.dropBorder#3c477633
activityBarTop.foreground#8eb0e6
activityBarTop.inactiveForeground#3e4254
badge.background#8eb0e6
badge.foreground#0d101b
breadcrumb.background#111422
breadcrumbPicker.background#1a1e33
button.background#8eb0e680
button.border#ffffff26
button.foreground#eaf0fa
button.hoverBackground#8eb0e699
button.secondaryBackground#1d223a
button.secondaryForeground#bcc1dccc
button.secondaryHoverBackground#222844
button.separator#ffffff4d
charts.blue#69C3FF
charts.foreground#bcc1dc
charts.green#3CEC85
charts.lines#bcc1dc
charts.orange#FF955C
charts.purple#F38CEC
charts.red#E35535
charts.yellow#EACD61
checkbox.foreground#bcc1dc
commandCenter.activeBackground#1a1e3361
commandCenter.activeForeground#9aa2cb8f
commandCenter.background#111422
commandCenter.border#07080e
commandCenter.foreground#3c4776
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#E35535
debugConsole.infoForeground#69C3FF
debugConsole.warningForeground#FF955C
debugExceptionWidget.background#1a1e33
debugExceptionWidget.border#07080e
debugIcon.breakpointCurrentStackframeForeground#E35535
debugIcon.breakpointDisabledForeground#e3553580
debugIcon.breakpointForeground#E35535
debugIcon.continueForeground#69C3FF
debugIcon.disconnectForeground#E35535
debugIcon.pauseForeground#E35535
debugIcon.restartForeground#3CEC85
debugIcon.startForeground#3CEC85
debugIcon.stepBackForeground#69C3FF
debugIcon.stepIntoForeground#69C3FF
debugIcon.stepOutForeground#69C3FF
debugIcon.stepOverForeground#69C3FF
debugIcon.stopForeground#E35535
debugToolBar.background#1c2133
descriptionForeground#bcc1dc80
diffEditor.border#07080e
diffEditor.diagonalFill#1a1e33
diffEditor.insertedLineBackground#2cfc821a
diffEditor.insertedTextBackground#2cfc821a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#eacd614d
diffEditor.moveActive.border#eacd61b3
diffEditor.removedLineBackground#f44a241a
diffEditor.removedTextBackground#f44a241a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#0b0e18
diffEditor.unchangedRegionBackground#0b0e18
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#3cec8526
diffEditorOverview.removedForeground#e3553530
disabledForeground#bcc1dc4d
dropdown.background#15192b
dropdown.border#2e3452
dropdown.foreground#bcc1dc
dropdown.listBackground#15192b
editor.background#111422
editor.findMatchBackground#8eb0e630
editor.findMatchBorder#8eb0e661
editor.findMatchHighlightBackground#8eb0e63d
editor.findMatchHighlightBorder#8eb0e65c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#3c4776
editor.foreground#bcc1dc
editor.hoverHighlightBackground#8eb0e64d
editor.inactiveSelectionBackground#8eb0e64d
editor.lineHighlightBackground#8eb0e60f
editor.lineHighlightBorder#8eb0e626
editor.linkedEditingBackground#69c3ff33
editor.rangeHighlightBackground#8eb0e63d
editor.selectionBackground#8eb0e64d
editor.selectionForeground#bcc1dc
editor.selectionHighlightBackground#8eb0e614
editor.selectionHighlightBorder#8eb0e64d
editor.wordHighlightBackground#8eb0e673
editor.wordHighlightBorder#8eb0e68a
editor.wordHighlightStrongBackground#8eb0e64d
editorBracketHighlight.foreground1#EACD61
editorBracketHighlight.foreground2#F38CEC
editorBracketHighlight.foreground3#69C3FF
editorBracketHighlight.foreground4#B78AFF
editorBracketHighlight.foreground5#22ECDB
editorBracketHighlight.foreground6#FF738A
editorBracketHighlight.unexpectedBracket.foreground#E35535
editorBracketMatch.background#8eb0e64d
editorBracketMatch.border#8eb0e673
editorCodeLens.foreground#9aa2cb80
editorCursor.background#8eb0e6
editorCursor.foreground#EACD61
editorError.border#00000000
editorError.foreground#E35535
editorGhostText.border#00000000
editorGhostText.foreground#bcc1dc70
editorGroup.border#07080e
editorGroup.dropBackground#8eb0e614
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#111422
editorGroupHeader.tabsBackground#0d101b
editorGroupHeader.tabsBorder#07080e
editorGutter.addedBackground#3cec85cc
editorGutter.background#111422
editorGutter.commentRangeForeground#1a1e33
editorGutter.deletedBackground#e35535cc
editorGutter.modifiedBackground#69c3ffcc
editorHoverWidget.background#1a1e33
editorHoverWidget.border#07080e
editorIndentGuide.activeBackground1#3c4776cc
editorIndentGuide.background1#3c477633
editorInfo.border#00000000
editorInlayHint.background#9aa2cb1a
editorInlayHint.foreground#9aa2cbb3
editorInlayHint.parameterBackground#9aa2cb1a
editorInlayHint.parameterForeground#9aa2cbb3
editorInlayHint.typeBackground#9aa2cb1a
editorInlayHint.typeForeground#9aa2cbb3
editorLineNumber.activeForeground#7884b4
editorLineNumber.foreground#33374e
editorLink.activeForeground#bcc1dc
editorMarkerNavigation.background#0d101b
editorMarkerNavigationError.background#e355358f
editorMarkerNavigationInfo.background#69c3ff8f
editorMarkerNavigationWarning.background#ff955c8f
editorOverviewRuler.addedForeground#3cec8580
editorOverviewRuler.border#07080e
editorOverviewRuler.deletedForeground#e3553580
editorOverviewRuler.errorForeground#E35535
editorOverviewRuler.incomingContentForeground#3cec8580
editorOverviewRuler.infoForeground#69c3ff80
editorOverviewRuler.modifiedForeground#69c3ff80
editorOverviewRuler.selectionHighlightForeground#8eb0e680
editorOverviewRuler.warningForeground#FF955C
editorRuler.foreground#3c477633
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#161a2c
editorSuggestWidget.background#141829
editorSuggestWidget.border#07080e
editorSuggestWidget.foreground#9aa2cb
editorSuggestWidget.highlightForeground#EACD61
editorSuggestWidget.selectedBackground#222844
editorSuggestWidget.selectedIconForeground#bcc1dc
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#EACD61
editorWhitespace.foreground#3c477660
editorWidget.background#1a1e33
editorWidget.border#222844
editorWidget.resizeBorder#8eb0e650
errorForeground#E35535
errorLens.errorForeground#e35535fc
errorLens.hintForeground#69c3fffc
errorLens.infoForeground#69c3fffc
errorLens.warningForeground#ff955cfc
extensionButton.background#8eb0e680
extensionButton.foreground#eaf0fa
extensionButton.hoverBackground#8eb0e699
extensionButton.prominentBackground#8eb0e69d
extensionButton.prominentForeground#bcc1dc
extensionButton.prominentHoverBackground#8eb0e6
focusBorder#333c66
foreground#9aa2cb
gitDecoration.conflictingResourceForeground#8eb0e6
gitDecoration.deletedResourceForeground#E35535
gitDecoration.ignoredResourceForeground#3c4776
gitDecoration.modifiedResourceForeground#69C3FF
gitDecoration.untrackedResourceForeground#3CEC85
icon.foreground#9aa2cbab
inlineChat.background#1a1e33
inlineChat.border#222844
inlineChatInput.background#141829
inlineChatInput.border#222844
inlineChatInput.focusBorder#333c66
inlineEdit.gutterIndicator.background#9aa2cb80
inlineEdit.gutterIndicator.primaryBackground#caa51bb3
inlineEdit.gutterIndicator.primaryBorder#caa51b
inlineEdit.gutterIndicator.primaryForeground#000000
inlineEdit.gutterIndicator.secondaryBackground#3a76d4b3
inlineEdit.gutterIndicator.secondaryBorder#3a76d4
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#11b153b3
inlineEdit.gutterIndicator.successfulBorder#11b153
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#3cec8526
inlineEdit.modifiedBorder#3cec85cc
inlineEdit.modifiedChangedLineBackground#3cec8514
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#e3553526
inlineEdit.originalBorder#e35535cc
inlineEdit.originalChangedLineBackground#e35535cc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#3CEC85
inlineEdit.tabWillAcceptOriginalBorder#E35535
input.background#15192b
input.border#2e3452
input.foreground#bcc1dc
input.placeholderForeground#495383
inputOption.activeBackground#445088
inputOption.activeBorder#00000000
inputOption.activeForeground#bcc1dc
inputOption.hoverBackground#222844
inputValidation.errorBackground#1a1e33
inputValidation.errorBorder#EACD61
inputValidation.infoBackground#1a1e33
inputValidation.infoBorder#8eb0e6
inputValidation.warningBackground#1a1e33
inputValidation.warningBorder#EACD61
keybindingLabel.background#1a1e33
keybindingLabel.border#454c6e
keybindingLabel.bottomBorder#454c6e
keybindingLabel.foreground#737ba6
list.activeSelectionBackground#2b325573
list.activeSelectionForeground#bcc1dc
list.dropBackground#8eb0e615
list.errorForeground#E35535
list.focusBackground#8eb0e640
list.focusForeground#9aa2cb
list.highlightForeground#EACD61
list.hoverBackground#2b32554d
list.hoverForeground#f0f1f5
list.inactiveSelectionBackground#2b325540
list.inactiveSelectionForeground#bcc1dc
list.warningForeground#FF955C
menu.background#1a1e33
menu.border#07080e
menu.foreground#9298ba
menu.selectionForeground#f0f1f5
menu.separatorBackground#07080e65
menubar.selectionBackground#1a1e33
menubar.selectionForeground#9aa2cb
merge.border#07080e
merge.commonContentBackground#eacd6130
merge.commonHeaderBackground#eacd6180
merge.currentContentBackground#3cec8530
merge.currentHeaderBackground#3cec8580
merge.incomingContentBackground#69c3ff30
merge.incomingHeaderBackground#69c3ff80
minimap.background#111422
minimap.errorHighlight#E35535
minimap.findMatchHighlight#8eb0e6
minimap.selectionHighlight#8eb0e6
minimap.selectionOccurrenceHighlight#8eb0e6
minimap.warningHighlight#FF955C
minimapGutter.addedBackground#3CEC85
minimapGutter.deletedBackground#E35535
minimapGutter.modifiedBackground#69C3FF
multiDiffEditor.border#07080e
multiDiffEditor.headerBackground#1a1e33
notificationCenterHeader.background#1a1e33
notificationCenterHeader.foreground#bcc1dc
notificationLink.foreground#EACD61
notifications.background#1a1e33
notifications.border#07080e
notifications.foreground#9aa2cb
notificationsErrorIcon.foreground#E35535
notificationsInfoIcon.foreground#69C3FF
notificationsWarningIcon.foreground#FF955C
panel.background#0f121e
panel.border#07080e
panel.dropBorder#3c477680
panelInput.border#222844
panelSection.border#07080e
panelSectionHeader.background#141828
panelSectionHeader.border#07080e
panelSectionHeader.foreground#bcc1dc
panelTitle.activeBorder#8eb0e6
panelTitle.activeForeground#8eb0e6
panelTitle.inactiveForeground#3c4776
peekView.border#07080e
peekViewEditor.background#181c30
peekViewEditor.matchHighlightBackground#1a1e3340
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#181c30
peekViewEditorStickyScroll.background#161a2c
peekViewResult.background#15192b
peekViewResult.fileForeground#bcc1dc
peekViewResult.lineForeground#9aa2cb
peekViewResult.matchHighlightBackground#8eb0e680
peekViewResult.selectionBackground#8eb0e633
peekViewResult.selectionForeground#bcc1dc
peekViewTitle.background#1a1e33
peekViewTitleDescription.foreground#bcc1dc
peekViewTitleLabel.foreground#bcc1dc
pickerGroup.border#07080e
pickerGroup.foreground#bcc1dc
profileBadge.background#8eb0e6
profileBadge.foreground#111422
progressBar.background#EACD61
quickInput.background#161a2c
quickInput.foreground#bcc1dcb3
quickInputList.focusBackground#3c467773
quickInputList.focusForeground#f0f1f5
quickInputList.focusIconForeground#bcc1dc
quickInputTitle.background#0d101b
sash.hoverBorder#8eb0e650
scmGraph.foreground1#69C3FF
scmGraph.foreground2#F38CEC
scmGraph.foreground3#A4EF58
scmGraph.foreground4#22ECDB
scmGraph.foreground5#FF738A
scmGraph.historyItemBaseRefColor#B78AFF
scmGraph.historyItemHoverAdditionsForeground#3CEC85
scmGraph.historyItemHoverDefaultLabelBackground#9aa2cb
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#E35535
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#EACD61
scmGraph.historyItemRemoteRefColor#69C3FF
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#bcc1dc4d
scrollbarSlider.background#bcc1dc26
scrollbarSlider.hoverBackground#bcc1dc33
selection.background#8eb0e661
settings.headerForeground#bcc1dc
settings.modifiedItemIndicator#8eb0e6
settings.settingsHeaderHoverForeground#bcc1dc
sideBar.background#0d101b
sideBar.border#07080e
sideBar.foreground#9aa2cbcc
sideBarSectionHeader.background#0d101b
sideBarSectionHeader.border#07080e
sideBarSectionHeader.foreground#bcc1dc
sideBarStickyScroll.background#0a0c14
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#3c4776
statusBar.background#111422
statusBar.border#07080e
statusBar.debuggingBackground#272f44
statusBar.debuggingForeground#90a2d9
statusBar.foreground#9aa2cb80
statusBar.noFolderBackground#0d101b
statusBar.noFolderBorder#07080e
statusBar.noFolderForeground#9aa2cbcc
statusBarItem.activeBackground#1a1e33
statusBarItem.compactHoverBackground#8eb0e6cc
statusBarItem.errorBackground#E35535
statusBarItem.errorForeground#160703
statusBarItem.errorHoverBackground#e97b62
statusBarItem.errorHoverForeground#111422
statusBarItem.hoverBackground#323e56
statusBarItem.hoverForeground#bcc1dc
statusBarItem.offlineBackground#F38CEC
statusBarItem.offlineForeground#740c6d
statusBarItem.offlineHoverBackground#f8baf4
statusBarItem.offlineHoverForeground#111422
statusBarItem.prominentBackground#111422
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#222844
statusBarItem.prominentHoverForeground#111422
statusBarItem.remoteBackground#22ECDB
statusBarItem.remoteForeground#010e0d
statusBarItem.remoteHoverBackground#51f0e3
statusBarItem.remoteHoverForeground#111422
statusBarItem.warningBackground#FF955C
statusBarItem.warningForeground#5c2000
statusBarItem.warningHoverBackground#ffb68f
statusBarItem.warningHoverForeground#111422
tab.activeBackground#111422
tab.activeBorder#111422
tab.activeBorderTop#8eb0e6
tab.activeForeground#bcc1dc
tab.border#07080e
tab.hoverBackground#111422
tab.inactiveBackground#0d101b
tab.inactiveForeground#3c4776
tab.lastPinnedBorder#07080e
tab.unfocusedActiveBorder#111422
tab.unfocusedActiveForeground#8eb0e6
tab.unfocusedHoverBackground#111422
tab.unfocusedInactiveForeground#3c4776
terminal.ansiBlack#111422
terminal.ansiBlue#69C3FF
terminal.ansiBrightBlack#313b62
terminal.ansiBrightBlue#69c3ff
terminal.ansiBrightCyan#0fffeb
terminal.ansiBrightGreen#29ff82
terminal.ansiBrightMagenta#ff80f6
terminal.ansiBrightRed#ff4319
terminal.ansiBrightWhite#ffffff
terminal.ansiBrightYellow#ffd94c
terminal.ansiCyan#22ECDB
terminal.ansiGreen#3CEC85
terminal.ansiMagenta#F38CEC
terminal.ansiRed#E35535
terminal.ansiWhite#bcc1dc
terminal.ansiYellow#EACD61
terminal.background#0f121e
terminal.foreground#bcc1dc
terminal.selectionForeground#bcc1dc
terminalCursor.background#111422
terminalCursor.foreground#EACD61
terminalStickyScrollHover.background#161a2c
textBlockQuote.background#69c3ff33
textBlockQuote.border#69c3ffb9
textCodeBlock.background#69c3ff33
textLink.activeForeground#8eb0e6
textLink.foreground#8eb0e6
textPreformat.background#383330
textPreformat.foreground#EACD61
textSeparator.foreground#8eb0e6
titleBar.activeBackground#080a11
titleBar.activeForeground#bcc1dc66
titleBar.border#07080e
titleBar.inactiveBackground#080a11
titleBar.inactiveForeground#3c4776
toolbar.activeBackground#3c477680
toolbar.hoverBackground#3c47764d
tree.indentGuidesStroke#3c477670
walkThrough.embeddedEditorBackground#111422
welcomePage.progress.background#1a1e33
welcomePage.progress.foreground#8eb0e6
welcomePage.tileBackground#9aa2cb1a
welcomePage.tileBorder#9aa2cb33
welcomePage.tileHoverBackground#9aa2cb33
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#585d74	—
string	#3CEC85	—
constant.numeric	#FF955C	—
constant.language, constant.other	#E35535	—
keyword.operator	#9aa2cb	—
storage.type, storage.modifier	#22ECDB	—
support.function	#69C3FF	—
comment punctuation	#585d74	—
comment.line	#585d74	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	#585d74	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#488893	italic
keyword.control.krl	#F38CEC	bold
keyword.function.movement.krl	#69C3FF	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#22ECDB	italic
variable.language.system.krl	#E35535
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#FF955C	—
string.quoted.double.krl	#3CEC85	—
variable.function.krl	#69C3FF	—
constant.language.enum.krl, variable.other.enummember.krl	#E35535	—
support.function.builtin.krl	#69C3FF	—
keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl	#9aa2cb	—

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