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 Anthracite

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#a2abb626
activityBar.activeBorder#a2abb6
activityBar.background#131519
activityBar.border#0b0c0e
activityBar.dropBorder#51576633
activityBar.foreground#a2abb6
activityBar.inactiveForeground#4b505c
activityBarBadge.background#a2abb6
activityBarBadge.foreground#131519
activityBarTop.activeBorder#a2abb6
activityBarTop.dropBorder#51576633
activityBarTop.foreground#a2abb6
activityBarTop.inactiveForeground#47494f
badge.background#a2abb6
badge.foreground#131519
breadcrumb.background#181a1f
breadcrumbPicker.background#23262d
button.background#a2abb680
button.border#ffffff26
button.foreground#e1e4e7
button.hoverBackground#a2abb699
button.secondaryBackground#282b33
button.secondaryForeground#c8ccd4cc
button.secondaryHoverBackground#2e323c
button.separator#ffffff4d
charts.blue#3398DB
charts.foreground#c8ccd4
charts.green#37ae6f
charts.lines#c8ccd4
charts.orange#D26D32
charts.purple#CC71BC
charts.red#C13838
charts.yellow#c9a022
checkbox.foreground#c8ccd4
commandCenter.activeBackground#23262d61
commandCenter.activeForeground#acb1bd8f
commandCenter.background#181a1f
commandCenter.border#0b0c0e
commandCenter.foreground#515766
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#C13838
debugConsole.infoForeground#3398DB
debugConsole.warningForeground#c9a022
debugExceptionWidget.background#23262d
debugExceptionWidget.border#0b0c0e
debugIcon.breakpointCurrentStackframeForeground#C13838
debugIcon.breakpointDisabledForeground#c1383880
debugIcon.breakpointForeground#C13838
debugIcon.continueForeground#3398DB
debugIcon.disconnectForeground#C13838
debugIcon.pauseForeground#C13838
debugIcon.restartForeground#37ae6f
debugIcon.startForeground#37ae6f
debugIcon.stepBackForeground#3398DB
debugIcon.stepIntoForeground#3398DB
debugIcon.stepOutForeground#3398DB
debugIcon.stepOverForeground#3398DB
debugIcon.stopForeground#C13838
debugToolBar.background#24262c
descriptionForeground#c8ccd480
diffEditor.border#0b0c0e
diffEditor.diagonalFill#23262d
diffEditor.insertedLineBackground#26bf6e1a
diffEditor.insertedTextBackground#26bf6e1a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#c9a0224d
diffEditor.moveActive.border#c9a022b3
diffEditor.removedLineBackground#d425251a
diffEditor.removedTextBackground#d425251a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#111316
diffEditor.unchangedRegionBackground#111316
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#37ae6f26
diffEditorOverview.removedForeground#c1383830
disabledForeground#c8ccd44d
dropdown.background#1e2026
dropdown.border#3d4047
dropdown.foreground#c8ccd4
dropdown.listBackground#1e2026
editor.background#181a1f
editor.findMatchBackground#a2abb630
editor.findMatchBorder#a2abb661
editor.findMatchHighlightBackground#a2abb63d
editor.findMatchHighlightBorder#a2abb65c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#515766
editor.foreground#c8ccd4
editor.hoverHighlightBackground#a2abb64d
editor.inactiveSelectionBackground#a2abb64d
editor.lineHighlightBackground#a2abb60f
editor.lineHighlightBorder#a2abb626
editor.linkedEditingBackground#1b9df333
editor.rangeHighlightBackground#a2abb63d
editor.selectionBackground#a2abb64d
editor.selectionForeground#c8ccd4
editor.selectionHighlightBackground#a2abb614
editor.selectionHighlightBorder#a2abb64d
editor.wordHighlightBackground#a2abb673
editor.wordHighlightBorder#a2abb68a
editor.wordHighlightStrongBackground#a2abb64d
editorBracketHighlight.foreground1#c9a022
editorBracketHighlight.foreground2#CC71BC
editorBracketHighlight.foreground3#3398DB
editorBracketHighlight.foreground4#935cd1
editorBracketHighlight.foreground5#24B5A8
editorBracketHighlight.foreground6#de456b
editorBracketHighlight.unexpectedBracket.foreground#C13838
editorBracketMatch.background#a2abb64d
editorBracketMatch.border#a2abb673
editorCodeLens.foreground#acb1bd80
editorCursor.background#a2abb6
editorCursor.foreground#c9a022
editorError.border#00000000
editorError.foreground#C13838
editorGhostText.border#00000000
editorGhostText.foreground#c8ccd470
editorGroup.border#0b0c0e
editorGroup.dropBackground#a2abb614
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#181a1f
editorGroupHeader.tabsBackground#131519
editorGroupHeader.tabsBorder#0b0c0e
editorGutter.addedBackground#37ae6fcc
editorGutter.background#181a1f
editorGutter.commentRangeForeground#23262d
editorGutter.deletedBackground#c13838cc
editorGutter.modifiedBackground#3398dbcc
editorHoverWidget.background#23262d
editorHoverWidget.border#0b0c0e
editorIndentGuide.activeBackground1#515766cc
editorIndentGuide.background1#51576633
editorInfo.border#00000000
editorInlayHint.background#acb1bd1a
editorInlayHint.foreground#acb1bdb3
editorInlayHint.parameterBackground#acb1bd1a
editorInlayHint.parameterForeground#acb1bdb3
editorInlayHint.typeBackground#acb1bd1a
editorInlayHint.typeForeground#acb1bdb3
editorLineNumber.activeForeground#9196a0
editorLineNumber.foreground#3b3f4a
editorLink.activeForeground#c8ccd4
editorMarkerNavigation.background#131519
editorMarkerNavigationError.background#c138388f
editorMarkerNavigationInfo.background#3398db8f
editorMarkerNavigationWarning.background#c9a0228f
editorOverviewRuler.addedForeground#37ae6f80
editorOverviewRuler.border#0b0c0e
editorOverviewRuler.deletedForeground#c1383880
editorOverviewRuler.errorForeground#C13838
editorOverviewRuler.incomingContentForeground#37ae6f80
editorOverviewRuler.infoForeground#3398db80
editorOverviewRuler.modifiedForeground#3398db80
editorOverviewRuler.selectionHighlightForeground#a2abb680
editorOverviewRuler.warningForeground#c9a022
editorRuler.foreground#51576633
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#1f2128
editorSuggestWidget.background#1c1f25
editorSuggestWidget.border#0b0c0e
editorSuggestWidget.foreground#acb1bd
editorSuggestWidget.highlightForeground#c9a022
editorSuggestWidget.selectedBackground#2e323c
editorSuggestWidget.selectedIconForeground#c8ccd4
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#c9a022
editorWhitespace.foreground#51576660
editorWidget.background#23262d
editorWidget.border#2e323c
editorWidget.resizeBorder#a2abb650
errorForeground#C13838
errorLens.errorForeground#c13838fc
errorLens.hintForeground#3398dbfc
errorLens.infoForeground#3398dbfc
errorLens.warningForeground#c9a022fc
extensionButton.background#a2abb680
extensionButton.foreground#e1e4e7
extensionButton.hoverBackground#a2abb699
extensionButton.prominentBackground#a2abb69d
extensionButton.prominentForeground#c8ccd4
extensionButton.prominentHoverBackground#a2abb6
focusBorder#454a58
foreground#acb1bd
gitDecoration.conflictingResourceForeground#a2abb6
gitDecoration.deletedResourceForeground#C13838
gitDecoration.ignoredResourceForeground#515766
gitDecoration.modifiedResourceForeground#3398DB
gitDecoration.untrackedResourceForeground#37ae6f
icon.foreground#acb1bdab
inlineChat.background#23262d
inlineChat.border#2e323c
inlineChatInput.background#1c1f25
inlineChatInput.border#2e323c
inlineChatInput.focusBorder#454a58
inlineEdit.gutterIndicator.background#acb1bd80
inlineEdit.gutterIndicator.primaryBackground#725b13b3
inlineEdit.gutterIndicator.primaryBorder#725b13
inlineEdit.gutterIndicator.primaryForeground#020202
inlineEdit.gutterIndicator.secondaryBackground#6a7888b3
inlineEdit.gutterIndicator.secondaryBorder#6a7888
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#1f603eb3
inlineEdit.gutterIndicator.successfulBorder#1f603e
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#37ae6f26
inlineEdit.modifiedBorder#37ae6fcc
inlineEdit.modifiedChangedLineBackground#37ae6f14
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#c1383826
inlineEdit.originalBorder#c13838cc
inlineEdit.originalChangedLineBackground#c13838cc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#37ae6f
inlineEdit.tabWillAcceptOriginalBorder#C13838
input.background#1e2026
input.border#3d4047
input.foreground#c8ccd4
input.placeholderForeground#606570
inputOption.activeBackground#5b6275
inputOption.activeBorder#00000000
inputOption.activeForeground#c8ccd4
inputOption.hoverBackground#2e323c
inputValidation.errorBackground#23262d
inputValidation.errorBorder#c9a022
inputValidation.infoBackground#23262d
inputValidation.infoBorder#a2abb6
inputValidation.warningBackground#23262d
inputValidation.warningBorder#c9a022
keybindingLabel.background#23262d
keybindingLabel.border#595a5d
keybindingLabel.bottomBorder#595a5d
keybindingLabel.foreground#8b8d91
list.activeSelectionBackground#393e4a73
list.activeSelectionForeground#c8ccd4
list.dropBackground#a2abb615
list.errorForeground#C13838
list.focusBackground#a2abb640
list.focusForeground#acb1bd
list.highlightForeground#c9a022
list.hoverBackground#393e4a4d
list.hoverForeground#f4f4f4
list.inactiveSelectionBackground#393e4a40
list.inactiveSelectionForeground#c8ccd4
list.warningForeground#c9a022
menu.background#23262d
menu.border#0b0c0e
menu.foreground#a5a7aa
menu.selectionForeground#f4f4f4
menu.separatorBackground#0b0c0e65
menubar.selectionBackground#23262d
menubar.selectionForeground#acb1bd
merge.border#0b0c0e
merge.commonContentBackground#c9a02230
merge.commonHeaderBackground#c9a02280
merge.currentContentBackground#37ae6f30
merge.currentHeaderBackground#37ae6f80
merge.incomingContentBackground#3398db30
merge.incomingHeaderBackground#3398db80
minimap.background#181a1f
minimap.errorHighlight#C13838
minimap.findMatchHighlight#a2abb6
minimap.selectionHighlight#a2abb6
minimap.selectionOccurrenceHighlight#a2abb6
minimap.warningHighlight#c9a022
minimapGutter.addedBackground#37ae6f
minimapGutter.deletedBackground#C13838
minimapGutter.modifiedBackground#3398DB
multiDiffEditor.border#0b0c0e
multiDiffEditor.headerBackground#23262d
notificationCenterHeader.background#23262d
notificationCenterHeader.foreground#c8ccd4
notificationLink.foreground#c9a022
notifications.background#23262d
notifications.border#0b0c0e
notifications.foreground#acb1bd
notificationsErrorIcon.foreground#C13838
notificationsInfoIcon.foreground#3398DB
notificationsWarningIcon.foreground#D26D32
panel.background#16181c
panel.border#0b0c0e
panel.dropBorder#51576680
panelInput.border#2e323c
panelSection.border#0b0c0e
panelSectionHeader.background#1d1f25
panelSectionHeader.border#0b0c0e
panelSectionHeader.foreground#c8ccd4
panelTitle.activeBorder#a2abb6
panelTitle.activeForeground#a2abb6
panelTitle.inactiveForeground#515766
peekView.border#0b0c0e
peekViewEditor.background#21242a
peekViewEditor.matchHighlightBackground#23262d40
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#21242a
peekViewEditorStickyScroll.background#1f2128
peekViewResult.background#1e2026
peekViewResult.fileForeground#c8ccd4
peekViewResult.lineForeground#acb1bd
peekViewResult.matchHighlightBackground#a2abb680
peekViewResult.selectionBackground#a2abb633
peekViewResult.selectionForeground#c8ccd4
peekViewTitle.background#23262d
peekViewTitleDescription.foreground#c8ccd4
peekViewTitleLabel.foreground#c8ccd4
pickerGroup.border#0b0c0e
pickerGroup.foreground#c8ccd4
profileBadge.background#a2abb6
profileBadge.foreground#181a1f
progressBar.background#c9a022
quickInput.background#1f2128
quickInput.foreground#c8ccd4b3
quickInputList.focusBackground#50566673
quickInputList.focusForeground#f4f4f4
quickInputList.focusIconForeground#c8ccd4
quickInputTitle.background#131519
sash.hoverBorder#a2abb650
scmGraph.foreground1#3398DB
scmGraph.foreground2#CC71BC
scmGraph.foreground3#7E9E2D
scmGraph.foreground4#24B5A8
scmGraph.foreground5#de456b
scmGraph.historyItemBaseRefColor#935cd1
scmGraph.historyItemHoverAdditionsForeground#37ae6f
scmGraph.historyItemHoverDefaultLabelBackground#acb1bd
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#C13838
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#c9a022
scmGraph.historyItemRemoteRefColor#3398DB
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#c8ccd44d
scrollbarSlider.background#c8ccd426
scrollbarSlider.hoverBackground#c8ccd433
selection.background#a2abb661
settings.headerForeground#c8ccd4
settings.modifiedItemIndicator#a2abb6
settings.settingsHeaderHoverForeground#c8ccd4
sideBar.background#131519
sideBar.border#0b0c0e
sideBar.foreground#acb1bdcc
sideBarSectionHeader.background#131519
sideBarSectionHeader.border#0b0c0e
sideBarSectionHeader.foreground#c8ccd4
sideBarStickyScroll.background#0f1013
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#515766
statusBar.background#181a1f
statusBar.border#0b0c0e
statusBar.debuggingBackground#30333a
statusBar.debuggingForeground#a1a9b5
statusBar.foreground#acb1bd80
statusBar.noFolderBackground#131519
statusBar.noFolderBorder#0b0c0e
statusBar.noFolderForeground#acb1bdcc
statusBarItem.activeBackground#23262d
statusBarItem.compactHoverBackground#a2abb6cc
statusBarItem.errorBackground#C13838
statusBarItem.errorForeground#000000
statusBarItem.errorHoverBackground#d05c5c
statusBarItem.errorHoverForeground#181a1f
statusBarItem.hoverBackground#3d4148
statusBarItem.hoverForeground#c8ccd4
statusBarItem.offlineBackground#CC71BC
statusBarItem.offlineForeground#2e1028
statusBarItem.offlineHoverBackground#d997ce
statusBarItem.offlineHoverForeground#181a1f
statusBarItem.prominentBackground#181a1f
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#2e323c
statusBarItem.prominentHoverForeground#181a1f
statusBarItem.remoteBackground#24B5A8
statusBarItem.remoteForeground#000000
statusBarItem.remoteHoverBackground#35d7c8
statusBarItem.remoteHoverForeground#181a1f
statusBarItem.warningBackground#c9a022
statusBarItem.warningForeground#000000
statusBarItem.warningHoverBackground#dfb83f
statusBarItem.warningHoverForeground#181a1f
tab.activeBackground#181a1f
tab.activeBorder#181a1f
tab.activeBorderTop#a2abb6
tab.activeForeground#c8ccd4
tab.border#0b0c0e
tab.hoverBackground#181a1f
tab.inactiveBackground#131519
tab.inactiveForeground#515766
tab.lastPinnedBorder#0b0c0e
tab.unfocusedActiveBorder#181a1f
tab.unfocusedActiveForeground#a2abb6
tab.unfocusedHoverBackground#181a1f
tab.unfocusedInactiveForeground#515766
terminal.ansiBlack#181a1f
terminal.ansiBlue#3398DB
terminal.ansiBrightBlack#434955
terminal.ansiBrightBlue#0f9fff
terminal.ansiBrightCyan#03d6c3
terminal.ansiBrightGreen#15d06d
terminal.ansiBrightMagenta#e954cf
terminal.ansiBrightRed#e61313
terminal.ansiBrightWhite#ffffff
terminal.ansiBrightYellow#ebb100
terminal.ansiCyan#24B5A8
terminal.ansiGreen#37ae6f
terminal.ansiMagenta#CC71BC
terminal.ansiRed#C13838
terminal.ansiWhite#c8ccd4
terminal.ansiYellow#c9a022
terminal.background#16181c
terminal.foreground#c8ccd4
terminal.selectionForeground#c8ccd4
terminalCursor.background#181a1f
terminalCursor.foreground#c9a022
terminalStickyScrollHover.background#1f2128
textBlockQuote.background#3398db33
textBlockQuote.border#3398dbb9
textCodeBlock.background#3398db33
textLink.activeForeground#3398DB
textLink.foreground#3398DB
textPreformat.background#393124
textPreformat.foreground#c9a022
textSeparator.foreground#a2abb6
titleBar.activeBackground#0c0e10
titleBar.activeForeground#c8ccd466
titleBar.border#0b0c0e
titleBar.inactiveBackground#0c0e10
titleBar.inactiveForeground#515766
toolbar.activeBackground#51576680
toolbar.hoverBackground#5157664d
tree.indentGuidesStroke#51576670
walkThrough.embeddedEditorBackground#181a1f
welcomePage.progress.background#23262d
welcomePage.progress.foreground#a2abb6
welcomePage.tileBackground#acb1bd1a
welcomePage.tileBorder#acb1bd33
welcomePage.tileHoverBackground#acb1bd33
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#515666	italic
string	#37ae6f	—
constant.numeric	#D26D32	—
comment.line	#515666	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	#515666	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#756c52	italic
keyword.control.krl	#935cd1	bold
keyword.function.movement.krl	#3398DB	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#c9a022	italic
variable.language.system.krl	#C13838
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#D26D32	—
string.quoted.double.krl	#37ae6f	—
variable.function.krl	—	—
constant.language.enum.krl, variable.other.enummember.krl	—	—
support.function.builtin.krl	—	—
keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl	—	—

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