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 H C Midnight Void

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#dbefff33
activityBar.activeBorder#dbefff
activityBar.background#111920
activityBar.border#0a0f13
activityBar.dropBorder#43617933
activityBar.foreground#dbefff
activityBar.inactiveForeground#475865
activityBarBadge.background#dbefff
activityBarBadge.foreground#111920
activityBarTop.activeBorder#dbefff
activityBarTop.dropBorder#43617933
activityBarTop.foreground#dbefff
activityBarTop.inactiveForeground#54606a
badge.background#dbefff
badge.foreground#111920
breadcrumb.background#151f27
breadcrumbPicker.background#1e2c38
button.background#dbefff80
button.border#ffffff26
button.foreground#ffffff
button.hoverBackground#dbefff99
button.secondaryBackground#21313e
button.secondaryForeground#c3d2decc
button.secondaryHoverBackground#273948
button.separator#ffffff4d
charts.blue#7fd7f5
charts.foreground#c3d2de
charts.green#AFEA7B
charts.lines#c3d2de
charts.orange#ffaa7d
charts.purple#e4a3df
charts.red#fd604f
charts.yellow#F5DF76
checkbox.foreground#c3d2de
commandCenter.activeBackground#1e2c3861
commandCenter.activeForeground#a2b9cc8f
commandCenter.background#151f27
commandCenter.border#0a0f13
commandCenter.foreground#436179
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#fd604f
debugConsole.infoForeground#7fd7f5
debugConsole.warningForeground#ffaa7d
debugExceptionWidget.background#1e2c38
debugExceptionWidget.border#0a0f13
debugIcon.breakpointCurrentStackframeForeground#fd604f
debugIcon.breakpointDisabledForeground#fd604f80
debugIcon.breakpointForeground#fd604f
debugIcon.continueForeground#7fd7f5
debugIcon.disconnectForeground#fd604f
debugIcon.pauseForeground#fd604f
debugIcon.restartForeground#AFEA7B
debugIcon.startForeground#AFEA7B
debugIcon.stepBackForeground#7fd7f5
debugIcon.stepIntoForeground#7fd7f5
debugIcon.stepOutForeground#7fd7f5
debugIcon.stepOverForeground#7fd7f5
debugIcon.stopForeground#fd604f
debugToolBar.background#253039
descriptionForeground#c3d2de80
diffEditor.border#0a0f13
diffEditor.diagonalFill#1e2c38
diffEditor.insertedLineBackground#aef5701a
diffEditor.insertedTextBackground#aef5701a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#f5df764d
diffEditor.moveActive.border#f5df76b3
diffEditor.removedLineBackground#ff5e4d1a
diffEditor.removedTextBackground#ff5e4d1a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#0f161d
diffEditor.unchangedRegionBackground#0f161d
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#afea7b26
diffEditorOverview.removedForeground#fd604f30
disabledForeground#c3d2de4d
dropdown.background#19262f
dropdown.border#334655
dropdown.foreground#c3d2de
dropdown.listBackground#19262f
editor.background#151f27
editor.findMatchBackground#dbefff30
editor.findMatchBorder#dbefff61
editor.findMatchHighlightBackground#dbefff3d
editor.findMatchHighlightBorder#dbefff5c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#436179
editor.foreground#c3d2de
editor.hoverHighlightBackground#dbefff4d
editor.inactiveSelectionBackground#dbefff4d
editor.lineHighlightBackground#dbefff0f
editor.lineHighlightBorder#dbefff26
editor.linkedEditingBackground#75dcff33
editor.rangeHighlightBackground#dbefff3d
editor.selectionBackground#dbefff4d
editor.selectionForeground#c3d2de
editor.selectionHighlightBackground#dbefff14
editor.selectionHighlightBorder#dbefff4d
editor.wordHighlightBackground#dbefff73
editor.wordHighlightBorder#dbefff8a
editor.wordHighlightStrongBackground#dbefff4d
editorBracketHighlight.foreground1#F5DF76
editorBracketHighlight.foreground2#e4a3df
editorBracketHighlight.foreground3#7fd7f5
editorBracketHighlight.foreground4#bc98ff
editorBracketHighlight.foreground5#22D3B1
editorBracketHighlight.foreground6#EC7886
editorBracketHighlight.unexpectedBracket.foreground#fd604f
editorBracketMatch.background#dbefff4d
editorBracketMatch.border#dbefff73
editorCodeLens.foreground#a2b9cc80
editorCursor.background#dbefff
editorCursor.foreground#F5DF76
editorError.border#00000000
editorError.foreground#fd604f
editorGhostText.border#00000000
editorGhostText.foreground#c3d2de70
editorGroup.border#0a0f13
editorGroup.dropBackground#dbefff14
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#151f27
editorGroupHeader.tabsBackground#111920
editorGroupHeader.tabsBorder#0a0f13
editorGutter.addedBackground#afea7bcc
editorGutter.background#151f27
editorGutter.commentRangeForeground#1e2c38
editorGutter.deletedBackground#fd604fcc
editorGutter.modifiedBackground#7fd7f5cc
editorHoverWidget.background#1e2c38
editorHoverWidget.border#0a0f13
editorIndentGuide.activeBackground1#436179e6
editorIndentGuide.background1#43617966
editorInfo.border#00000000
editorInlayHint.background#a2b9cc1a
editorInlayHint.foreground#a2b9ccb3
editorInlayHint.parameterBackground#a2b9cc1a
editorInlayHint.parameterForeground#a2b9ccb3
editorInlayHint.typeBackground#a2b9cc1a
editorInlayHint.typeForeground#a2b9ccb3
editorLineNumber.activeForeground#829eb3
editorLineNumber.foreground#384753
editorLink.activeForeground#c3d2de
editorMarkerNavigation.background#111920
editorMarkerNavigationError.background#fd604f8f
editorMarkerNavigationInfo.background#7fd7f58f
editorMarkerNavigationWarning.background#ffaa7d8f
editorOverviewRuler.addedForeground#afea7b80
editorOverviewRuler.border#0a0f13
editorOverviewRuler.deletedForeground#fd604f80
editorOverviewRuler.errorForeground#fd604f
editorOverviewRuler.incomingContentForeground#afea7b80
editorOverviewRuler.infoForeground#7fd7f580
editorOverviewRuler.modifiedForeground#7fd7f580
editorOverviewRuler.selectionHighlightForeground#dbefff80
editorOverviewRuler.warningForeground#ffaa7d
editorRuler.foreground#43617933
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#1a2731
editorSuggestWidget.background#19242e
editorSuggestWidget.border#0a0f13
editorSuggestWidget.foreground#a2b9cc
editorSuggestWidget.highlightForeground#F5DF76
editorSuggestWidget.selectedBackground#273948
editorSuggestWidget.selectedIconForeground#c3d2de
editorUnnecessaryCode.border#a2b9cc99
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#F5DF76
editorWhitespace.foreground#43617960
editorWidget.background#1e2c38
editorWidget.border#273948
editorWidget.resizeBorder#dbefff50
errorForeground#fd604f
errorLens.errorForeground#fd604ffc
errorLens.hintForeground#7fd7f5fc
errorLens.infoForeground#7fd7f5fc
errorLens.warningForeground#ffaa7dfc
extensionButton.background#dbefff80
extensionButton.foreground#ffffff
extensionButton.hoverBackground#dbefff99
extensionButton.prominentBackground#dbefff9d
extensionButton.prominentForeground#c3d2de
extensionButton.prominentHoverBackground#dbefff
focusBorder#395469
foreground#a2b9cc
gitDecoration.conflictingResourceForeground#dbefff
gitDecoration.deletedResourceForeground#fd604f
gitDecoration.ignoredResourceForeground#436179
gitDecoration.modifiedResourceForeground#7fd7f5
gitDecoration.untrackedResourceForeground#AFEA7B
icon.foreground#a2b9ccab
inlineChat.background#1e2c38
inlineChat.border#273948
inlineChatInput.background#19242e
inlineChatInput.border#273948
inlineChatInput.focusBorder#395469
inlineEdit.gutterIndicator.background#a2b9cc80
inlineEdit.gutterIndicator.primaryBackground#eec917b3
inlineEdit.gutterIndicator.primaryBorder#eec917
inlineEdit.gutterIndicator.primaryForeground#030506
inlineEdit.gutterIndicator.secondaryBackground#75c2ffb3
inlineEdit.gutterIndicator.secondaryBorder#75c2ff
inlineEdit.gutterIndicator.secondaryForeground#002542
inlineEdit.gutterIndicator.successfulBackground#7adc23b3
inlineEdit.gutterIndicator.successfulBorder#7adc23
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#afea7b26
inlineEdit.modifiedBorder#afea7bcc
inlineEdit.modifiedChangedLineBackground#afea7b14
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#fd604f26
inlineEdit.originalBorder#fd604fcc
inlineEdit.originalChangedLineBackground#fd604fcc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#AFEA7B
inlineEdit.tabWillAcceptOriginalBorder#fd604f
input.background#19262f
input.border#334655
input.foreground#c3d2de
input.placeholderForeground#506d85
inputOption.activeBackground#4b6e8a
inputOption.activeBorder#00000000
inputOption.activeForeground#c3d2de
inputOption.hoverBackground#273948
inputValidation.errorBackground#1e2c38
inputValidation.errorBorder#F5DF76
inputValidation.infoBackground#1e2c38
inputValidation.infoBorder#dbefff
inputValidation.warningBackground#1e2c38
inputValidation.warningBorder#F5DF76
keybindingLabel.background#1e2c38
keybindingLabel.border#4b5f71
keybindingLabel.bottomBorder#4b5f71
keybindingLabel.foreground#7b93a7
list.activeSelectionBackground#30465973
list.activeSelectionForeground#c3d2de
list.dropBackground#dbefff15
list.errorForeground#fd604f
list.focusBackground#dbefff40
list.focusForeground#a2b9cc
list.highlightForeground#F5DF76
list.hoverBackground#3046594d
list.hoverForeground#f5f7f9
list.inactiveSelectionBackground#30465940
list.inactiveSelectionForeground#c3d2de
list.warningForeground#ffaa7d
menu.background#1e2c38
menu.border#0a0f13
menu.foreground#99acbc
menu.selectionForeground#f5f7f9
menu.separatorBackground#0a0f1365
menubar.selectionBackground#1e2c38
menubar.selectionForeground#a2b9cc
merge.border#0a0f13
merge.commonContentBackground#f5df7630
merge.commonHeaderBackground#f5df7680
merge.currentContentBackground#afea7b30
merge.currentHeaderBackground#afea7b80
merge.incomingContentBackground#7fd7f530
merge.incomingHeaderBackground#7fd7f580
minimap.background#151f27
minimap.errorHighlight#fd604f
minimap.findMatchHighlight#dbefff
minimap.selectionHighlight#dbefff
minimap.selectionOccurrenceHighlight#dbefff
minimap.warningHighlight#ffaa7d
minimapGutter.addedBackground#AFEA7B
minimapGutter.deletedBackground#fd604f
minimapGutter.modifiedBackground#7fd7f5
multiDiffEditor.border#0a0f13
multiDiffEditor.headerBackground#1e2c38
notificationCenterHeader.background#1e2c38
notificationCenterHeader.foreground#c3d2de
notificationLink.foreground#F5DF76
notifications.background#1e2c38
notifications.border#0a0f13
notifications.foreground#a2b9cc
notificationsErrorIcon.foreground#fd604f
notificationsInfoIcon.foreground#7fd7f5
notificationsWarningIcon.foreground#ffaa7d
panel.background#131c23
panel.border#0a0f13
panel.dropBorder#43617980
panelInput.border#273948
panelSection.border#0a0f13
panelSectionHeader.background#18242d
panelSectionHeader.border#0a0f13
panelSectionHeader.foreground#c3d2de
panelTitle.activeBorder#dbefff
panelTitle.activeForeground#dbefff
panelTitle.inactiveForeground#436179
peekView.border#0a0f13
peekViewEditor.background#1c2a34
peekViewEditor.matchHighlightBackground#1e2c3840
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#1c2a34
peekViewEditorStickyScroll.background#1a2731
peekViewResult.background#19262f
peekViewResult.fileForeground#c3d2de
peekViewResult.lineForeground#a2b9cc
peekViewResult.matchHighlightBackground#dbefff80
peekViewResult.selectionBackground#dbefff33
peekViewResult.selectionForeground#c3d2de
peekViewTitle.background#1e2c38
peekViewTitleDescription.foreground#c3d2de
peekViewTitleLabel.foreground#c3d2de
pickerGroup.border#0a0f13
pickerGroup.foreground#c3d2de
profileBadge.background#dbefff
profileBadge.foreground#151f27
progressBar.background#F5DF76
quickInput.background#1a2731
quickInput.foreground#c3d2deb3
quickInputList.focusBackground#42607a73
quickInputList.focusForeground#f5f7f9
quickInputList.focusIconForeground#c3d2de
quickInputTitle.background#111920
sash.hoverBorder#dbefff50
scmGraph.foreground1#7fd7f5
scmGraph.foreground2#e4a3df
scmGraph.foreground3#A4EF58
scmGraph.foreground4#22D3B1
scmGraph.foreground5#EC7886
scmGraph.historyItemBaseRefColor#bc98ff
scmGraph.historyItemHoverAdditionsForeground#AFEA7B
scmGraph.historyItemHoverDefaultLabelBackground#a2b9cc
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#fd604f
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#F5DF76
scmGraph.historyItemRemoteRefColor#7fd7f5
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#c3d2de4d
scrollbarSlider.background#c3d2de26
scrollbarSlider.hoverBackground#c3d2de33
selection.background#dbefff61
settings.headerForeground#c3d2de
settings.modifiedItemIndicator#dbefff
settings.settingsHeaderHoverForeground#c3d2de
sideBar.background#111920
sideBar.border#0a0f13
sideBar.foreground#a2b9cccc
sideBarSectionHeader.background#111920
sideBarSectionHeader.border#0a0f13
sideBarSectionHeader.foreground#c3d2de
sideBarStickyScroll.background#0d1419
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#436179
statusBar.background#151f27
statusBar.border#0a0f13
statusBar.debuggingBackground#37434c
statusBar.debuggingForeground#a8cceb
statusBar.foreground#a2b9cc80
statusBar.noFolderBackground#111920
statusBar.noFolderBorder#0a0f13
statusBar.noFolderForeground#a2b9cccc
statusBarItem.activeBackground#1e2c38
statusBarItem.compactHoverBackground#dbefffcc
statusBarItem.errorBackground#fd604f
statusBarItem.errorForeground#4c0801
statusBarItem.errorHoverBackground#fe8e81
statusBarItem.errorHoverForeground#151f27
statusBarItem.hoverBackground#495661
statusBarItem.hoverForeground#c3d2de
statusBarItem.offlineBackground#e4a3df
statusBarItem.offlineForeground#691f63
statusBarItem.offlineHoverBackground#f0caed
statusBarItem.offlineHoverForeground#151f27
statusBarItem.prominentBackground#151f27
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#273948
statusBarItem.prominentHoverForeground#151f27
statusBarItem.remoteBackground#22D3B1
statusBarItem.remoteForeground#000000
statusBarItem.remoteHoverBackground#47e1c4
statusBarItem.remoteHoverForeground#151f27
statusBarItem.warningBackground#ffaa7d
statusBarItem.warningForeground#7d2b00
statusBarItem.warningHoverBackground#ffcbb0
statusBarItem.warningHoverForeground#151f27
tab.activeBackground#253039
tab.activeBorder#151f27
tab.activeBorderTop#dbefff
tab.activeForeground#c3d2de
tab.border#0a0f13
tab.hoverBackground#151f27
tab.inactiveBackground#111920
tab.inactiveForeground#436179
tab.lastPinnedBorder#0a0f13
tab.unfocusedActiveBorder#151f27
tab.unfocusedActiveForeground#dbefff
tab.unfocusedHoverBackground#151f27
tab.unfocusedInactiveForeground#436179
terminal.ansiBlack#151f27
terminal.ansiBlue#7fd7f5
terminal.ansiBrightBlack#375165
terminal.ansiBrightBlue#75dcff
terminal.ansiBrightCyan#00f5c6
terminal.ansiBrightGreen#aeff66
terminal.ansiBrightMagenta#f691ee
terminal.ansiBrightRed#ff5e4d
terminal.ansiBrightWhite#ffffff
terminal.ansiBrightYellow#ffe66c
terminal.ansiCyan#22D3B1
terminal.ansiGreen#AFEA7B
terminal.ansiMagenta#e4a3df
terminal.ansiRed#fd604f
terminal.ansiWhite#c3d2de
terminal.ansiYellow#F5DF76
terminal.background#131c23
terminal.foreground#c3d2de
terminal.selectionForeground#c3d2de
terminalCursor.background#151f27
terminalCursor.foreground#F5DF76
terminalStickyScrollHover.background#1a2731
textBlockQuote.background#7fd7f533
textBlockQuote.border#7fd7f5b9
textCodeBlock.background#7fd7f533
textLink.activeForeground#dbefff
textLink.foreground#dbefff
textPreformat.background#3e4037
textPreformat.foreground#F5DF76
textSeparator.foreground#dbefff
titleBar.activeBackground#0c1116
titleBar.activeForeground#c3d2de66
titleBar.border#0a0f13
titleBar.inactiveBackground#0c1116
titleBar.inactiveForeground#436179
toolbar.activeBackground#43617980
toolbar.hoverBackground#4361794d
tree.indentGuidesStroke#43617970
walkThrough.embeddedEditorBackground#151f27
welcomePage.progress.background#1e2c38
welcomePage.progress.foreground#dbefff
welcomePage.tileBackground#a2b9cc1a
welcomePage.tileBorder#a2b9cc33
welcomePage.tileHoverBackground#a2b9cc33
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#436179	italic
string	#AFEA7B	—
constant.numeric	#ffaa7d	—
comment.line	#436179	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	#436179	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#788778	italic
keyword.control.krl	#bc98ff	bold
keyword.function.movement.krl	#7fd7f5	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#F5DF76	italic
variable.language.system.krl	#fd604f
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#ffaa7d	—
string.quoted.double.krl	#AFEA7B	—
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}!`;
}