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 Aquarelle Cymbidium

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#da6e6c26
activityBar.activeBorder#da6e6c
activityBar.background#262024
activityBar.border#1b171a
activityBar.dropBorder#70606c33
activityBar.foreground#da6e6c
activityBar.inactiveForeground#6a5965
activityBarBadge.background#da6e6c
activityBarBadge.foreground#262024
activityBarTop.activeBorder#da6e6c
activityBarTop.dropBorder#70606c33
activityBarTop.foreground#da6e6c
activityBarTop.inactiveForeground#5c555a
badge.background#da6e6c
badge.foreground#262024
breadcrumb.background#2c252a
breadcrumbPicker.background#3a3137
button.background#da6e6c80
button.border#ffffff26
button.foreground#f1c6c6
button.hoverBackground#da6e6c99
button.secondaryBackground#3f353d
button.secondaryForeground#ded8dccc
button.secondaryHoverBackground#483c44
button.separator#ffffff4d
charts.blue#afd9ec
charts.foreground#ded8dc
charts.green#c3e5a1
charts.lines#ded8dc
charts.orange#f0bba2
charts.purple#edc1ea
charts.red#eca099
charts.yellow#f3e1ac
checkbox.foreground#ded8dc
commandCenter.activeBackground#3a313761
commandCenter.activeForeground#c6bdc48f
commandCenter.background#2c252a
commandCenter.border#1b171a
commandCenter.foreground#70606c
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#e87a70
debugConsole.infoForeground#73bee9
debugConsole.warningForeground#eea064
debugExceptionWidget.background#3a3137
debugExceptionWidget.border#1b171a
debugIcon.breakpointCurrentStackframeForeground#e87a70
debugIcon.breakpointDisabledForeground#e87a7080
debugIcon.breakpointForeground#e87a70
debugIcon.continueForeground#73bee9
debugIcon.disconnectForeground#e87a70
debugIcon.pauseForeground#e87a70
debugIcon.restartForeground#aada77
debugIcon.startForeground#aada77
debugIcon.stepBackForeground#73bee9
debugIcon.stepIntoForeground#73bee9
debugIcon.stepOutForeground#73bee9
debugIcon.stepOverForeground#73bee9
debugIcon.stopForeground#e87a70
debugToolBar.background#3c2c30
descriptionForeground#ded8dc80
diffEditor.border#1b171a
diffEditor.diagonalFill#3a3137
diffEditor.insertedLineBackground#aae76a1a
diffEditor.insertedTextBackground#aae76a1a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#f3e1ac4d
diffEditor.moveActive.border#f3e1acb3
diffEditor.removedLineBackground#f470641a
diffEditor.removedTextBackground#f470641a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#231e21
diffEditor.unchangedRegionBackground#231e21
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#aada7726
diffEditorOverview.removedForeground#e87a7030
disabledForeground#ded8dc4d
dropdown.background#332b31
dropdown.border#524c50
dropdown.foreground#ded8dc
dropdown.listBackground#332b31
editor.background#2c252a
editor.findMatchBackground#da6e6c30
editor.findMatchBorder#da6e6c61
editor.findMatchHighlightBackground#da6e6c3d
editor.findMatchHighlightBorder#da6e6c5c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#70606c
editor.foreground#ded8dc
editor.hoverHighlightBackground#da6e6c4d
editor.inactiveSelectionBackground#da6e6c4d
editor.lineHighlightBackground#da6e6c0f
editor.lineHighlightBorder#da6e6c26
editor.linkedEditingBackground#a5ddf633
editor.rangeHighlightBackground#da6e6c3d
editor.selectionBackground#da6e6c4d
editor.selectionForeground#ded8dc
editor.selectionHighlightBackground#da6e6c14
editor.selectionHighlightBorder#da6e6c4d
editor.wordHighlightBackground#da6e6c73
editor.wordHighlightBorder#da6e6c8a
editor.wordHighlightStrongBackground#da6e6c4d
editorBracketHighlight.foreground1#f3e1ac
editorBracketHighlight.foreground2#edc1ea
editorBracketHighlight.foreground3#afd9ec
editorBracketHighlight.foreground4#bcb1f1
editorBracketHighlight.foreground5#a9edd9
editorBracketHighlight.foreground6#f3aabc
editorBracketHighlight.unexpectedBracket.foreground#e87a70
editorBracketMatch.background#da6e6c4d
editorBracketMatch.border#da6e6c73
editorCodeLens.foreground#c6bdc480
editorCursor.background#da6e6c
editorCursor.foreground#f3e1ac
editorError.border#00000000
editorError.foreground#e87a70
editorGhostText.border#00000000
editorGhostText.foreground#ded8dc70
editorGroup.border#1b171a
editorGroup.dropBackground#da6e6c14
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#2c252a
editorGroupHeader.tabsBackground#262024
editorGroupHeader.tabsBorder#1b171a
editorGutter.addedBackground#aada77cc
editorGutter.background#2c252a
editorGutter.commentRangeForeground#3a3137
editorGutter.deletedBackground#e87a70cc
editorGutter.modifiedBackground#73bee9cc
editorHoverWidget.background#3a3137
editorHoverWidget.border#1b171a
editorIndentGuide.activeBackground1#70606ccc
editorIndentGuide.background1#70606c33
editorInfo.border#00000000
editorInlayHint.background#c6bdc41a
editorInlayHint.foreground#c6bdc4b3
editorInlayHint.parameterBackground#c6bdc41a
editorInlayHint.parameterForeground#c6bdc4b3
editorInlayHint.typeBackground#c6bdc41a
editorInlayHint.typeForeground#c6bdc4b3
editorLineNumber.activeForeground#a9a1a7
editorLineNumber.foreground#584953
editorLink.activeForeground#ded8dc
editorMarkerNavigation.background#262024
editorMarkerNavigationError.background#e87a708f
editorMarkerNavigationInfo.background#73bee98f
editorMarkerNavigationWarning.background#eea0648f
editorOverviewRuler.addedForeground#aada7780
editorOverviewRuler.border#1b171a
editorOverviewRuler.deletedForeground#e87a7080
editorOverviewRuler.errorForeground#e87a70
editorOverviewRuler.incomingContentForeground#aada7780
editorOverviewRuler.infoForeground#73bee980
editorOverviewRuler.modifiedForeground#73bee980
editorOverviewRuler.selectionHighlightForeground#da6e6c80
editorOverviewRuler.warningForeground#eea064
editorRuler.foreground#70606c33
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#342c32
editorSuggestWidget.background#322a2f
editorSuggestWidget.border#1b171a
editorSuggestWidget.foreground#c6bdc4
editorSuggestWidget.highlightForeground#f3e1ac
editorSuggestWidget.selectedBackground#483c44
editorSuggestWidget.selectedIconForeground#ded8dc
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#f3e1ac
editorWhitespace.foreground#70606c60
editorWidget.background#3a3137
editorWidget.border#483c44
editorWidget.resizeBorder#da6e6c50
errorForeground#e87a70
errorLens.errorForeground#e87a70fc
errorLens.hintForeground#73bee9fc
errorLens.infoForeground#73bee9fc
errorLens.warningForeground#eea064fc
extensionButton.background#da6e6c80
extensionButton.foreground#f1c6c6
extensionButton.hoverBackground#da6e6c99
extensionButton.prominentBackground#da6e6c9d
extensionButton.prominentForeground#ded8dc
extensionButton.prominentHoverBackground#da6e6c
focusBorder#63545f
foreground#c6bdc4
gitDecoration.conflictingResourceForeground#da6e6c
gitDecoration.deletedResourceForeground#e87a70
gitDecoration.ignoredResourceForeground#70606c
gitDecoration.modifiedResourceForeground#73bee9
gitDecoration.untrackedResourceForeground#aada77
icon.foreground#c6bdc4ab
inlineChat.background#3a3137
inlineChat.border#483c44
inlineChatInput.background#322a2f
inlineChatInput.border#483c44
inlineChatInput.focusBorder#63545f
inlineEdit.gutterIndicator.background#c6bdc480
inlineEdit.gutterIndicator.primaryBackground#e6c153b3
inlineEdit.gutterIndicator.primaryBorder#e6c153
inlineEdit.gutterIndicator.primaryForeground#100e0f
inlineEdit.gutterIndicator.secondaryBackground#b32f2db3
inlineEdit.gutterIndicator.secondaryBorder#b32f2d
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#78b932b3
inlineEdit.gutterIndicator.successfulBorder#78b932
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#aada7726
inlineEdit.modifiedBorder#aada77cc
inlineEdit.modifiedChangedLineBackground#aada7714
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#eca09926
inlineEdit.originalBorder#eca099cc
inlineEdit.originalChangedLineBackground#eca099cc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#aada77
inlineEdit.tabWillAcceptOriginalBorder#eca099
input.background#332b31
input.border#524c50
input.foreground#ded8dc
input.placeholderForeground#797177
inputOption.activeBackground#7f6b79
inputOption.activeBorder#00000000
inputOption.activeForeground#ded8dc
inputOption.hoverBackground#483c44
inputValidation.errorBackground#3a3137
inputValidation.errorBorder#f3e1ac
inputValidation.infoBackground#3a3137
inputValidation.infoBorder#da6e6c
inputValidation.warningBackground#3a3137
inputValidation.warningBorder#f3e1ac
keybindingLabel.background#3a3137
keybindingLabel.border#686868
keybindingLabel.bottomBorder#686868
keybindingLabel.foreground#9c9c9c
list.activeSelectionBackground#56485173
list.activeSelectionForeground#ded8dc
list.dropBackground#da6e6c15
list.errorForeground#e87a70
list.focusBackground#da6e6c40
list.focusForeground#c6bdc4
list.highlightForeground#f3e1ac
list.hoverBackground#5648514d
list.hoverForeground#ffffff
list.inactiveSelectionBackground#56485140
list.inactiveSelectionForeground#ded8dc
list.warningForeground#eea064
menu.background#3a3137
menu.border#1b171a
menu.foreground#b5b5b5
menu.selectionForeground#ffffff
menu.separatorBackground#1b171a65
menubar.selectionBackground#3a3137
menubar.selectionForeground#c6bdc4
merge.border#1b171a
merge.commonContentBackground#f3e1ac30
merge.commonHeaderBackground#f3e1ac80
merge.currentContentBackground#aada7730
merge.currentHeaderBackground#aada7780
merge.incomingContentBackground#73bee930
merge.incomingHeaderBackground#73bee980
minimap.background#2c252a
minimap.errorHighlight#e87a70
minimap.findMatchHighlight#da6e6c
minimap.selectionHighlight#da6e6c
minimap.selectionOccurrenceHighlight#da6e6c
minimap.warningHighlight#eea064
minimapGutter.addedBackground#aada77
minimapGutter.deletedBackground#e87a70
minimapGutter.modifiedBackground#73bee9
multiDiffEditor.border#1b171a
multiDiffEditor.headerBackground#3a3137
notificationCenterHeader.background#3a3137
notificationCenterHeader.foreground#ded8dc
notificationLink.foreground#f3e1ac
notifications.background#3a3137
notifications.border#1b171a
notifications.foreground#c6bdc4
notificationsErrorIcon.foreground#eca099
notificationsInfoIcon.foreground#afd9ec
notificationsWarningIcon.foreground#f0bba2
panel.background#292227
panel.border#1b171a
panel.dropBorder#70606c80
panelInput.border#483c44
panelSection.border#1b171a
panelSectionHeader.background#31292f
panelSectionHeader.border#1b171a
panelSectionHeader.foreground#ded8dc
panelTitle.activeBorder#da6e6c
panelTitle.activeForeground#da6e6c
panelTitle.inactiveForeground#70606c
peekView.border#1b171a
peekViewEditor.background#372e35
peekViewEditor.matchHighlightBackground#3a313740
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#372e35
peekViewEditorStickyScroll.background#342c32
peekViewResult.background#332b31
peekViewResult.fileForeground#ded8dc
peekViewResult.lineForeground#c6bdc4
peekViewResult.matchHighlightBackground#da6e6c80
peekViewResult.selectionBackground#da6e6c33
peekViewResult.selectionForeground#ded8dc
peekViewTitle.background#3a3137
peekViewTitleDescription.foreground#ded8dc
peekViewTitleLabel.foreground#ded8dc
pickerGroup.border#1b171a
pickerGroup.foreground#ded8dc
profileBadge.background#da6e6c
profileBadge.foreground#2c252a
progressBar.background#f3e1ac
quickInput.background#342c32
quickInput.foreground#ded8dcb3
quickInputList.focusBackground#71606b73
quickInputList.focusForeground#ffffff
quickInputList.focusIconForeground#ded8dc
quickInputTitle.background#262024
sash.hoverBorder#da6e6c50
scmGraph.foreground1#afd9ec
scmGraph.foreground2#edc1ea
scmGraph.foreground3#d1e796
scmGraph.foreground4#a9edd9
scmGraph.foreground5#f3aabc
scmGraph.historyItemBaseRefColor#bcb1f1
scmGraph.historyItemHoverAdditionsForeground#aada77
scmGraph.historyItemHoverDefaultLabelBackground#c6bdc4
scmGraph.historyItemHoverDefaultLabelForeground#020202
scmGraph.historyItemHoverDeletionsForeground#e87a70
scmGraph.historyItemHoverLabelForeground#020202
scmGraph.historyItemRefColor#f3e1ac
scmGraph.historyItemRemoteRefColor#afd9ec
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#ded8dc4d
scrollbarSlider.background#ded8dc26
scrollbarSlider.hoverBackground#ded8dc33
selection.background#da6e6c61
settings.headerForeground#ded8dc
settings.modifiedItemIndicator#da6e6c
settings.settingsHeaderHoverForeground#ded8dc
sideBar.background#262024
sideBar.border#1b171a
sideBar.foreground#c6bdc4cc
sideBarSectionHeader.background#262024
sideBarSectionHeader.border#1b171a
sideBarSectionHeader.foreground#ded8dc
sideBarStickyScroll.background#201b1f
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#70606c
statusBar.background#2c252a
statusBar.border#1b171a
statusBar.debuggingBackground#4c3336
statusBar.debuggingForeground#d59891
statusBar.foreground#c6bdc480
statusBar.noFolderBackground#262024
statusBar.noFolderBorder#1b171a
statusBar.noFolderForeground#c6bdc4cc
statusBarItem.activeBackground#3a3137
statusBarItem.compactHoverBackground#da6e6ccc
statusBarItem.errorBackground#e87a70
statusBarItem.errorForeground#4d120c
statusBarItem.errorHoverBackground#efa39c
statusBarItem.errorHoverForeground#2c252a
statusBarItem.hoverBackground#5d3a3d
statusBarItem.hoverForeground#ded8dc
statusBarItem.offlineBackground#edc1ea
statusBarItem.offlineForeground#882781
statusBarItem.offlineHoverBackground#f8e9f7
statusBarItem.offlineHoverForeground#2c252a
statusBarItem.prominentBackground#2c252a
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#483c44
statusBarItem.prominentHoverForeground#2c252a
statusBarItem.remoteBackground#a9edd9
statusBarItem.remoteForeground#1a7d60
statusBarItem.remoteHoverBackground#d3f6ec
statusBarItem.remoteHoverForeground#2c252a
statusBarItem.warningBackground#eea064
statusBarItem.warningForeground#4b2508
statusBarItem.warningHoverBackground#f3bc92
statusBarItem.warningHoverForeground#2c252a
tab.activeBackground#2c252a
tab.activeBorder#2c252a
tab.activeBorderTop#da6e6c
tab.activeForeground#ded8dc
tab.border#1b171a
tab.hoverBackground#2c252a
tab.inactiveBackground#262024
tab.inactiveForeground#70606c
tab.lastPinnedBorder#1b171a
tab.unfocusedActiveBorder#2c252a
tab.unfocusedActiveForeground#da6e6c
tab.unfocusedHoverBackground#2c252a
tab.unfocusedInactiveForeground#70606c
terminal.ansiBlack#2c252a
terminal.ansiBlue#73bee9
terminal.ansiBrightBlack#61505c
terminal.ansiBrightBlue#5dc4ff
terminal.ansiBrightCyan#99fddf
terminal.ansiBrightGreen#abf45d
terminal.ansiBrightMagenta#f9b5f4
terminal.ansiBrightRed#ff6759
terminal.ansiBrightWhite#ffffff
terminal.ansiBrightYellow#ffe7a0
terminal.ansiCyan#a9edd9
terminal.ansiGreen#aada77
terminal.ansiMagenta#edc1ea
terminal.ansiRed#e87a70
terminal.ansiWhite#ded8dc
terminal.ansiYellow#f3e1ac
terminal.background#292227
terminal.foreground#ded8dc
terminal.selectionForeground#ded8dc
terminalCursor.background#2c252a
terminalCursor.foreground#f3e1ac
terminalStickyScrollHover.background#342c32
textBlockQuote.background#73bee933
textBlockQuote.border#73bee9b9
textCodeBlock.background#73bee933
textLink.activeForeground#da6e6c
textLink.foreground#da6e6c
textPreformat.background#4f4642
textPreformat.foreground#f3e1ac
textSeparator.foreground#da6e6c
titleBar.activeBackground#1e191c
titleBar.activeForeground#ded8dc66
titleBar.border#1b171a
titleBar.inactiveBackground#1e191c
titleBar.inactiveForeground#70606c
toolbar.activeBackground#70606c80
toolbar.hoverBackground#70606c4d
tree.indentGuidesStroke#70606c70
walkThrough.embeddedEditorBackground#2c252a
welcomePage.progress.background#3a3137
welcomePage.progress.foreground#da6e6c
welcomePage.tileBackground#c6bdc41a
welcomePage.tileBorder#c6bdc433
welcomePage.tileHoverBackground#c6bdc433
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#70606c	italic
string	#c3e5a1	—
constant.numeric	#f0bba2	—
comment.line	#70606c	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	#70606c	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#97877f	italic
keyword.control.krl	#bcb1f1	bold
keyword.function.movement.krl	#afd9ec	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#f3e1ac	italic
variable.language.system.krl	#eca099
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#f0bba2	—
string.quoted.double.krl	#c3e5a1	—
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}!`;
}