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 Will

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#b498f526
activityBar.activeBorder#b498f5
activityBar.background#0d0a14
activityBar.border#000000
activityBar.dropBorder#58577533
activityBar.foreground#b498f5
activityBar.inactiveForeground#46415c
activityBarBadge.background#b498f5
activityBarBadge.foreground#0d0a14
activityBarTop.activeBorder#b498f5
activityBarTop.dropBorder#58577533
activityBarTop.foreground#b498f5
activityBarTop.inactiveForeground#403d4f
badge.background#b498f5
badge.foreground#0d0a14
breadcrumb.background#14111f
breadcrumbPicker.background#1f1a2f
button.background#b498f580
button.border#ffffff26
button.foreground#fefeff
button.hoverBackground#b498f599
button.secondaryBackground#231e36
button.secondaryForeground#bdb6d3cc
button.secondaryHoverBackground#292340
button.separator#ffffff4d
charts.blue#8ad0ff
charts.foreground#bdb6d3
charts.green#5fee9b
charts.lines#bdb6d3
charts.orange#ffae82
charts.purple#fda7f7
charts.red#f7775a
charts.yellow#fce38a
checkbox.foreground#bdb6d3
commandCenter.activeBackground#231e3661
commandCenter.activeForeground#bfb9da8f
commandCenter.background#14111f
commandCenter.border#000000
commandCenter.foreground#585775
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#f7775a
debugConsole.infoForeground#8ad0ff
debugConsole.warningForeground#ffae82
debugExceptionWidget.background#231e36
debugExceptionWidget.border#000000
debugIcon.breakpointCurrentStackframeForeground#f7775a
debugIcon.breakpointDisabledForeground#f7775a80
debugIcon.breakpointForeground#f7775a
debugIcon.continueForeground#8ad0ff
debugIcon.disconnectForeground#f7775a
debugIcon.pauseForeground#f7775a
debugIcon.restartForeground#5fee9b
debugIcon.startForeground#5fee9b
debugIcon.stepBackForeground#8ad0ff
debugIcon.stepIntoForeground#8ad0ff
debugIcon.stepOutForeground#8ad0ff
debugIcon.stepOverForeground#8ad0ff
debugIcon.stopForeground#f7775a
debugToolBar.background#211d31
descriptionForeground#bdb6d380
diffEditor.border#000000
diffEditor.diagonalFill#1f1a2f
diffEditor.insertedLineBackground#52fb991a
diffEditor.insertedTextBackground#52fb991a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#fce38a4d
diffEditor.moveActive.border#fce38ab3
diffEditor.removedLineBackground#ff72521a
diffEditor.removedTextBackground#ff72521a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#0b0811
diffEditor.unchangedRegionBackground#0b0811
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#5fee9b26
diffEditorOverview.removedForeground#f7775a30
disabledForeground#bdb6d34d
dropdown.background#191627
dropdown.border#362f4d
dropdown.foreground#bdb6d3
dropdown.listBackground#191627
editor.background#14111f
editor.findMatchBackground#b498f530
editor.findMatchBorder#b498f561
editor.findMatchHighlightBackground#473c6e80
editor.findMatchHighlightBorder#61529680
editor.foldBackground#00000033
editor.foldPlaceholderForeground#585775
editor.foreground#bdb6d3
editor.hoverHighlightBackground#54478280
editor.inactiveSelectionBackground#54478280
editor.lineHighlightBackground#211c3380
editor.lineHighlightBorder#342c5080
editor.linkedEditingBackground#8ad0ff33
editor.rangeHighlightBackground#473c6e80
editor.selectionBackground#54478280
editor.selectionForeground#bdb6d3
editor.selectionHighlightBackground#b498f514
editor.selectionHighlightBorder#54478280
editor.wordHighlightBackground#7769ad80
editor.wordHighlightBorder#9286bd80
editor.wordHighlightStrongBackground#54478280
editorBracketHighlight.foreground1#fce38a
editorBracketHighlight.foreground2#fda7f7
editorBracketHighlight.foreground3#8ad0ff
editorBracketHighlight.foreground4#c39eff
editorBracketHighlight.foreground5#44f8e9
editorBracketHighlight.foreground6#ff8ea0
editorBracketHighlight.unexpectedBracket.foreground#f7775a
editorBracketMatch.background#54478280
editorBracketMatch.border#7769ad80
editorCodeLens.foreground#bfb9da80
editorCursor.background#b498f5
editorCursor.foreground#fce38a
editorError.border#00000000
editorError.foreground#f7775a
editorGhostText.border#00000000
editorGhostText.foreground#bdb6d370
editorGroup.border#000000
editorGroup.dropBackground#b498f514
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#14111f
editorGroupHeader.tabsBackground#0d0a14
editorGroupHeader.tabsBorder#000000
editorGutter.addedBackground#5fee9bcc
editorGutter.background#14111f
editorGutter.commentRangeForeground#231e36
editorGutter.deletedBackground#f7775acc
editorGutter.modifiedBackground#8ad0ffcc
editorHoverWidget.background#231e36
editorHoverWidget.border#000000
editorIndentGuide.activeBackground1#585775cc
editorIndentGuide.background1#58577533
editorInfo.border#00000000
editorInlayHint.background#bfb9da1a
editorInlayHint.foreground#bfb9dab3
editorInlayHint.parameterBackground#bfb9da1a
editorInlayHint.parameterForeground#bfb9dab3
editorInlayHint.typeBackground#bfb9da1a
editorInlayHint.typeForeground#bfb9dab3
editorLineNumber.activeForeground#8279ae
editorLineNumber.foreground#37324a
editorLink.activeForeground#bdb6d3
editorMarkerNavigation.background#0d0a14
editorMarkerNavigationError.background#f7775a8f
editorMarkerNavigationInfo.background#8ad0ff8f
editorMarkerNavigationWarning.background#ffae828f
editorOverviewRuler.addedForeground#5fee9b80
editorOverviewRuler.border#000000
editorOverviewRuler.deletedForeground#f7775a80
editorOverviewRuler.errorForeground#f7775a
editorOverviewRuler.incomingContentForeground#5fee9b80
editorOverviewRuler.infoForeground#8ad0ff80
editorOverviewRuler.modifiedForeground#8ad0ff80
editorOverviewRuler.selectionHighlightForeground#b498f580
editorOverviewRuler.warningForeground#ffae82
editorRuler.foreground#58577533
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#1a1629
editorSuggestWidget.background#181526
editorSuggestWidget.border#000000
editorSuggestWidget.foreground#bfb9da
editorSuggestWidget.highlightForeground#fce38a
editorSuggestWidget.selectedBackground#292340
editorSuggestWidget.selectedIconForeground#bdb6d3
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#fce38a
editorWhitespace.foreground#58577560
editorWidget.background#231e36
editorWidget.border#292340
editorWidget.resizeBorder#b498f550
errorForeground#f7775a
errorLens.errorForeground#f7775afc
errorLens.hintForeground#8ad0fffc
errorLens.infoForeground#8ad0fffc
errorLens.warningForeground#ffae82fc
extensionButton.background#b498f580
extensionButton.foreground#fefeff
extensionButton.hoverBackground#b498f599
extensionButton.prominentBackground#b498f59d
extensionButton.prominentForeground#bdb6d3
extensionButton.prominentHoverBackground#b498f5
focusBorder#3f3561
foreground#bfb9da
gitDecoration.conflictingResourceForeground#b498f5
gitDecoration.deletedResourceForeground#f7775a
gitDecoration.ignoredResourceForeground#585775
gitDecoration.modifiedResourceForeground#8ad0ff
gitDecoration.untrackedResourceForeground#5fee9b
icon.foreground#bfb9daab
inlineChat.background#1f1a2f
inlineChat.border#292340
inlineChatInput.background#181526
inlineChatInput.border#292340
inlineChatInput.focusBorder#3f3561
inlineEdit.gutterIndicator.background#bfb9da80
inlineEdit.gutterIndicator.primaryBackground#f9cb27b3
inlineEdit.gutterIndicator.primaryBorder#f9cb27
inlineEdit.gutterIndicator.primaryForeground#000000
inlineEdit.gutterIndicator.secondaryBackground#703becb3
inlineEdit.gutterIndicator.secondaryBorder#703bec
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#16d164b3
inlineEdit.gutterIndicator.successfulBorder#16d164
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#5fee9b26
inlineEdit.modifiedBorder#5fee9bcc
inlineEdit.modifiedChangedLineBackground#5fee9b14
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#f7775a26
inlineEdit.originalBorder#f7775acc
inlineEdit.originalChangedLineBackground#f7775acc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#5fee9b
inlineEdit.tabWillAcceptOriginalBorder#f7775a
input.background#191627
input.border#362f4d
input.foreground#bdb6d3
input.placeholderForeground#574c7d
inputOption.activeBackground#544782
inputOption.activeBorder#00000000
inputOption.activeForeground#bdb6d3
inputOption.hoverBackground#292340
inputValidation.errorBackground#231e36
inputValidation.errorBorder#fce38a
inputValidation.infoBackground#231e36
inputValidation.infoBorder#b498f5
inputValidation.warningBackground#231e36
inputValidation.warningBorder#fce38a
keybindingLabel.background#231e36
keybindingLabel.border#534c6e
keybindingLabel.bottomBorder#534c6e
keybindingLabel.foreground#847ba5
list.activeSelectionBackground#38305773
list.activeSelectionForeground#bdb6d3
list.dropBackground#b498f515
list.errorForeground#f7775a
list.focusBackground#b498f540
list.focusForeground#bfb9da
list.highlightForeground#fce38a
list.hoverBackground#3830574d
list.hoverForeground#f5f4f8
list.inactiveSelectionBackground#38305740
list.inactiveSelectionForeground#bdb6d3
list.warningForeground#ffae82
menu.background#231e36
menu.border#000000
menu.foreground#a09ab9
menu.selectionForeground#f5f4f8
menu.separatorBackground#00000065
menubar.selectionBackground#231e36
menubar.selectionForeground#bfb9da
merge.border#000000
merge.commonContentBackground#fce38a30
merge.commonHeaderBackground#fce38a80
merge.currentContentBackground#5fee9b30
merge.currentHeaderBackground#5fee9b80
merge.incomingContentBackground#8ad0ff30
merge.incomingHeaderBackground#8ad0ff80
minimap.background#14111f
minimap.errorHighlight#f7775a
minimap.findMatchHighlight#b498f5
minimap.selectionHighlight#b498f5
minimap.selectionOccurrenceHighlight#b498f5
minimap.warningHighlight#ffae82
minimapGutter.addedBackground#5fee9b
minimapGutter.deletedBackground#f7775a
minimapGutter.modifiedBackground#8ad0ff
multiDiffEditor.border#000000
multiDiffEditor.headerBackground#1f1a2f
notificationCenterHeader.background#231e36
notificationCenterHeader.foreground#bdb6d3
notificationLink.foreground#fce38a
notifications.background#231e36
notifications.border#000000
notifications.foreground#bfb9da
notificationsErrorIcon.foreground#f7775a
notificationsInfoIcon.foreground#8ad0ff
notificationsWarningIcon.foreground#ffae82
panel.background#100e1a
panel.border#000000
panel.dropBorder#58577580
panelInput.border#292340
panelSection.border#000000
panelSectionHeader.background#161324
panelSectionHeader.border#000000
panelSectionHeader.foreground#bdb6d3
panelTitle.activeBorder#b498f5
panelTitle.activeForeground#b498f5
panelTitle.inactiveForeground#585775
peekView.border#000000
peekViewEditor.background#1d182c
peekViewEditor.matchHighlightBackground#231e3640
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#1d182c
peekViewEditorStickyScroll.background#1a1629
peekViewResult.background#191627
peekViewResult.fileForeground#bdb6d3
peekViewResult.lineForeground#bfb9da
peekViewResult.matchHighlightBackground#b498f580
peekViewResult.selectionBackground#b498f533
peekViewResult.selectionForeground#bdb6d3
peekViewTitle.background#1f1a2f
peekViewTitleDescription.foreground#bdb6d3
peekViewTitleLabel.foreground#bdb6d3
pickerGroup.border#000000
pickerGroup.foreground#bdb6d3
profileBadge.background#b498f5
profileBadge.foreground#14111f
progressBar.background#fce38a
quickInput.background#1a1629
quickInput.foreground#bdb6d3b3
quickInputList.focusBackground#4d427873
quickInputList.focusForeground#f5f4f8
quickInputList.focusIconForeground#bdb6d3
quickInputTitle.background#0d0a14
sash.hoverBorder#b498f550
scmGraph.foreground1#8ad0ff
scmGraph.foreground2#fda7f7
scmGraph.foreground3#A4EF58
scmGraph.foreground4#44f8e9
scmGraph.foreground5#ff8ea0
scmGraph.historyItemBaseRefColor#c39eff
scmGraph.historyItemHoverAdditionsForeground#5fee9b
scmGraph.historyItemHoverDefaultLabelBackground#bfb9da
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#f7775a
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#fce38a
scmGraph.historyItemRemoteRefColor#8ad0ff
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#bdb6d34d
scrollbarSlider.background#bdb6d326
scrollbarSlider.hoverBackground#bdb6d333
selection.background#b498f561
settings.headerForeground#bdb6d3
settings.modifiedItemIndicator#b498f5
settings.settingsHeaderHoverForeground#bdb6d3
sideBar.background#0d0a14
sideBar.border#000000
sideBar.foreground#bfb9dacc
sideBarSectionHeader.background#0d0a14
sideBarSectionHeader.border#000000
sideBarSectionHeader.foreground#bdb6d3
sideBarStickyScroll.background#09070d
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#585775
statusBar.background#14111f
statusBar.border#000000
statusBar.debuggingBackground#2f2944
statusBar.debuggingForeground#a586de
statusBar.foreground#bfb9da80
statusBar.noFolderBackground#0d0a14
statusBar.noFolderBorder#000000
statusBar.noFolderForeground#bfb9dacc
statusBarItem.activeBackground#231e36
statusBarItem.compactHoverBackground#b498f5cc
statusBarItem.errorBackground#f7775a
statusBarItem.errorForeground#4e1204
statusBarItem.errorHoverBackground#f99f8b
statusBarItem.errorHoverForeground#14111f
statusBarItem.hoverBackground#3e3557
statusBarItem.hoverForeground#bdb6d3
statusBarItem.offlineBackground#fda7f7
statusBarItem.offlineForeground#a10496
statusBarItem.offlineHoverBackground#fed9fc
statusBarItem.offlineHoverForeground#14111f
statusBarItem.prominentBackground#14111f
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#292340
statusBarItem.prominentHoverForeground#14111f
statusBarItem.remoteBackground#44f8e9
statusBarItem.remoteForeground#023b36
statusBarItem.remoteHoverBackground#75faef
statusBarItem.remoteHoverForeground#14111f
statusBarItem.warningBackground#ffae82
statusBarItem.warningForeground#822e00
statusBarItem.warningHoverBackground#ffcfb5
statusBarItem.warningHoverForeground#14111f
tab.activeBackground#14111f
tab.activeBorder#14111f
tab.activeBorderTop#b498f5
tab.activeForeground#bdb6d3
tab.border#000000
tab.hoverBackground#14111f
tab.inactiveBackground#0d0a14
tab.inactiveForeground#585775
tab.lastPinnedBorder#000000
tab.unfocusedActiveBorder#14111f
tab.unfocusedActiveForeground#b498f5
tab.unfocusedHoverBackground#14111f
tab.unfocusedInactiveForeground#585775
terminal.ansiBlack#14111f
terminal.ansiBlue#8ad0ff
terminal.ansiBrightBlack#39325c
terminal.ansiBrightBlue#8ad0ff
terminal.ansiBrightCyan#3dffef
terminal.ansiBrightGreen#4eff98
terminal.ansiBrightMagenta#ffa5f9
terminal.ansiBrightRed#ff7252
terminal.ansiBrightWhite#f7f6f9
terminal.ansiBrightYellow#ffe587
terminal.ansiCyan#44f8e9
terminal.ansiGreen#5fee9b
terminal.ansiMagenta#fda7f7
terminal.ansiRed#f7775a
terminal.ansiWhite#bdb6d3
terminal.ansiYellow#fce38a
terminal.background#100e1a
terminal.foreground#bdb6d3
terminal.selectionForeground#bdb6d3
terminalCursor.background#14111f
terminalCursor.foreground#fce38a
terminalStickyScrollHover.background#1a1629
textBlockQuote.background#8ad0ff33
textBlockQuote.border#8ad0ffb9
textCodeBlock.background#8ad0ff33
textLink.activeForeground#b498f5
textLink.foreground#b498f5
textPreformat.background#3c3533
textPreformat.foreground#fce38a
textSeparator.foreground#b498f5
titleBar.activeBackground#06050a
titleBar.activeForeground#bdb6d366
titleBar.border#000000
titleBar.inactiveBackground#06050a
titleBar.inactiveForeground#585775
toolbar.activeBackground#58577580
toolbar.hoverBackground#5857754d
tree.indentGuidesStroke#58577570
walkThrough.embeddedEditorBackground#14111f
welcomePage.progress.background#231e36
welcomePage.progress.foreground#b498f5
welcomePage.tileBackground#bfb9da1a
welcomePage.tileBorder#bfb9da33
welcomePage.tileHoverBackground#bfb9da33
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#5f5b6e	—
string	#71e893	—
constant.numeric	#edb492	—
constant.language, constant.other	#e55454	—
keyword.operator	#bfb9da	—
storage.type, storage.modifier	#50dbd4	—
support.function	#63c0ff	—
comment punctuation	#5f5b6e	—
comment.line	#5f5b6e	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	#5f5b6e	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#5b818d	italic
keyword.control.krl	#c3a1e5	bold
keyword.function.movement.krl	#63c0ff	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#50dbd4	italic
variable.language.system.krl	#e55454
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#edb492	—
string.quoted.double.krl	#71e893	—
variable.function.krl	#63c0ff	—
constant.language.enum.krl, variable.other.enummember.krl	#e55454	—
support.function.builtin.krl	#63c0ff	—
keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl	#bfb9da	—

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