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 Oceanic

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#97c89226
activityBar.activeBorder#97c892
activityBar.background#16252d
activityBar.border#101a20
activityBar.dropBorder#46718833
activityBar.foreground#97c892
activityBar.inactiveForeground#4e6572
activityBarBadge.background#97c892
activityBarBadge.foreground#16252d
activityBarTop.activeBorder#97c892
activityBarTop.dropBorder#46718833
activityBarTop.foreground#97c892
activityBarTop.inactiveForeground#4b5b65
badge.background#97c892
badge.foreground#16252d
breadcrumb.background#1a2b34
breadcrumbPicker.background#233945
button.background#97c89280
button.border#ffffff26
button.foreground#deeedd
button.hoverBackground#97c89299
button.secondaryBackground#263f4c
button.secondaryForeground#cddde6cc
button.secondaryHoverBackground#2b4756
button.separator#ffffff4d
charts.blue#5fb2df
charts.foreground#cddde6
charts.green#97c892
charts.lines#cddde6
charts.orange#DC8255
charts.purple#d194cd
charts.red#B4552D
charts.yellow#f6cc73
checkbox.foreground#cddde6
commandCenter.activeBackground#28445061
commandCenter.activeForeground#acc6d48f
commandCenter.background#1a2b34
commandCenter.border#101a20
commandCenter.foreground#467188
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#ee5d75
debugConsole.infoForeground#5fb2df
debugConsole.warningForeground#DC8255
debugExceptionWidget.background#284450
debugExceptionWidget.border#101a20
debugIcon.breakpointCurrentStackframeForeground#ee5d75
debugIcon.breakpointDisabledForeground#ee5d7580
debugIcon.breakpointForeground#ee5d75
debugIcon.continueForeground#5fb2df
debugIcon.disconnectForeground#ee5d75
debugIcon.pauseForeground#ee5d75
debugIcon.restartForeground#97c892
debugIcon.startForeground#97c892
debugIcon.stepBackForeground#5fb2df
debugIcon.stepIntoForeground#5fb2df
debugIcon.stepOutForeground#5fb2df
debugIcon.stepOverForeground#5fb2df
debugIcon.stopForeground#ee5d75
debugToolBar.background#26393d
descriptionForeground#cddde680
diffEditor.border#101a20
diffEditor.diagonalFill#233945
diffEditor.insertedLineBackground#8dd4861a
diffEditor.insertedTextBackground#8dd4861a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#f6cc734d
diffEditor.moveActive.border#f6cc73b3
diffEditor.removedLineBackground#fb506c1a
diffEditor.removedTextBackground#fb506c1a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#14222a
diffEditor.unchangedRegionBackground#14222a
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#97c89226
diffEditorOverview.removedForeground#ee5d7530
disabledForeground#cddde64d
dropdown.background#1e323c
dropdown.border#375463
dropdown.foreground#cddde6
dropdown.listBackground#1e323c
editor.background#1a2b34
editor.findMatchBackground#97c89230
editor.findMatchBorder#97c89261
editor.findMatchHighlightBackground#97c8923d
editor.findMatchHighlightBorder#97c8925c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#467188
editor.foreground#cddde6
editor.hoverHighlightBackground#97c8924d
editor.inactiveSelectionBackground#97c8924d
editor.lineHighlightBackground#97c8920f
editor.lineHighlightBorder#97c89226
editor.linkedEditingBackground#4cb8f233
editor.rangeHighlightBackground#97c8923d
editor.selectionBackground#97c8924d
editor.selectionForeground#cddde6
editor.selectionHighlightBackground#97c89214
editor.selectionHighlightBorder#97c8924d
editor.wordHighlightBackground#97c89273
editor.wordHighlightBorder#97c8928a
editor.wordHighlightStrongBackground#97c8924d
editorBracketHighlight.foreground1#f6cc73
editorBracketHighlight.foreground2#d194cd
editorBracketHighlight.foreground3#5fb2df
editorBracketHighlight.foreground4#978dd6
editorBracketHighlight.foreground5#59c6c8
editorBracketHighlight.foreground6#ee5d75
editorBracketHighlight.unexpectedBracket.foreground#ee5d75
editorBracketMatch.background#97c8924d
editorBracketMatch.border#97c89273
editorCodeLens.foreground#acc6d480
editorCursor.background#97c892
editorCursor.foreground#f6cc73
editorError.border#00000000
editorError.foreground#ee5d75
editorGhostText.border#00000000
editorGhostText.foreground#cddde670
editorGroup.border#101a20
editorGroup.dropBackground#97c89214
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#1a2b34
editorGroupHeader.tabsBackground#16252d
editorGroupHeader.tabsBorder#101a20
editorGutter.addedBackground#97c892cc
editorGutter.background#1a2b34
editorGutter.commentRangeForeground#284450
editorGutter.deletedBackground#ee5d75cc
editorGutter.modifiedBackground#5fb2dfcc
editorHoverWidget.background#284450
editorHoverWidget.border#101a20
editorIndentGuide.activeBackground1#467188cc
editorIndentGuide.background1#46718833
editorInfo.border#00000000
editorInlayHint.background#acc6d41a
editorInlayHint.foreground#acc6d4b3
editorInlayHint.parameterBackground#acc6d41a
editorInlayHint.parameterForeground#acc6d4b3
editorInlayHint.typeBackground#acc6d41a
editorInlayHint.typeForeground#acc6d4b3
editorLineNumber.activeForeground#8aacbd
editorLineNumber.foreground#3e5460
editorLink.activeForeground#cddde6
editorMarkerNavigation.background#16252d
editorMarkerNavigationError.background#ee5d758f
editorMarkerNavigationInfo.background#5fb2df8f
editorMarkerNavigationWarning.background#dc82558f
editorOverviewRuler.addedForeground#97c89280
editorOverviewRuler.border#101a20
editorOverviewRuler.deletedForeground#ee5d7580
editorOverviewRuler.errorForeground#ee5d75
editorOverviewRuler.incomingContentForeground#97c89280
editorOverviewRuler.infoForeground#5fb2df80
editorOverviewRuler.modifiedForeground#5fb2df80
editorOverviewRuler.selectionHighlightForeground#97c89280
editorOverviewRuler.warningForeground#DC8255
editorRuler.foreground#46718833
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#1f333e
editorSuggestWidget.background#1d313b
editorSuggestWidget.border#101a20
editorSuggestWidget.foreground#acc6d4
editorSuggestWidget.highlightForeground#f6cc73
editorSuggestWidget.selectedBackground#2b4756
editorSuggestWidget.selectedIconForeground#cddde6
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#f6cc73
editorWhitespace.foreground#46718860
editorWidget.background#284450
editorWidget.border#2b4756
editorWidget.resizeBorder#97c89250
errorForeground#ee5d75
errorLens.errorForeground#ee5d75fc
errorLens.hintForeground#5fb2dffc
errorLens.infoForeground#5fb2dffc
errorLens.warningForeground#dc8255fc
extensionButton.background#97c89280
extensionButton.foreground#deeedd
extensionButton.hoverBackground#97c89299
extensionButton.prominentBackground#97c8929d
extensionButton.prominentForeground#cddde6
extensionButton.prominentHoverBackground#97c892
focusBorder#3c6378
foreground#acc6d4
gitDecoration.conflictingResourceForeground#97c892
gitDecoration.deletedResourceForeground#ee5d75
gitDecoration.ignoredResourceForeground#467188
gitDecoration.modifiedResourceForeground#5fb2df
gitDecoration.untrackedResourceForeground#97c892
icon.foreground#acc6d4ab
inlineChat.background#233945
inlineChat.border#2b4756
inlineChatInput.background#1d313b
inlineChatInput.border#2b4756
inlineChatInput.focusBorder#3c6378
inlineEdit.gutterIndicator.background#acc6d480
inlineEdit.gutterIndicator.primaryBackground#f0a913b3
inlineEdit.gutterIndicator.primaryBorder#f0a913
inlineEdit.gutterIndicator.primaryForeground#090f12
inlineEdit.gutterIndicator.secondaryBackground#59a252b3
inlineEdit.gutterIndicator.secondaryBorder#59a252
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#59a252b3
inlineEdit.gutterIndicator.successfulBorder#59a252
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#97c89226
inlineEdit.modifiedBorder#97c892cc
inlineEdit.modifiedChangedLineBackground#97c89214
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#b4552d26
inlineEdit.originalBorder#b4552dcc
inlineEdit.originalChangedLineBackground#b4552dcc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#97c892
inlineEdit.tabWillAcceptOriginalBorder#B4552D
input.background#1e323c
input.border#375463
input.foreground#cddde6
input.placeholderForeground#537e94
inputOption.activeBackground#4d7f9a
inputOption.activeBorder#00000000
inputOption.activeForeground#cddde6
inputOption.hoverBackground#2b4756
inputValidation.errorBackground#284450
inputValidation.errorBorder#f6cc73
inputValidation.infoBackground#284450
inputValidation.infoBorder#97c892
inputValidation.warningBackground#284450
inputValidation.warningBorder#f6cc73
keybindingLabel.background#284450
keybindingLabel.border#557989
keybindingLabel.bottomBorder#557989
keybindingLabel.foreground#8cabb8
list.activeSelectionBackground#39617273
list.activeSelectionForeground#cddde6
list.dropBackground#97c89215
list.errorForeground#ee5d75
list.focusBackground#97c89240
list.focusForeground#acc6d4
list.highlightForeground#f6cc73
list.hoverBackground#3961724d
list.hoverForeground#ffffff
list.inactiveSelectionBackground#39617240
list.inactiveSelectionForeground#cddde6
list.warningForeground#DC8255
menu.background#284450
menu.border#101a20
menu.foreground#acc2cb
menu.selectionForeground#ffffff
menu.separatorBackground#101a2065
menubar.selectionBackground#284450
menubar.selectionForeground#acc6d4
merge.border#101a20
merge.commonContentBackground#f6cc7330
merge.commonHeaderBackground#f6cc7380
merge.currentContentBackground#97c89230
merge.currentHeaderBackground#97c89280
merge.incomingContentBackground#5fb2df30
merge.incomingHeaderBackground#5fb2df80
minimap.background#1a2b34
minimap.errorHighlight#ee5d75
minimap.findMatchHighlight#97c892
minimap.selectionHighlight#97c892
minimap.selectionOccurrenceHighlight#97c892
minimap.warningHighlight#DC8255
minimapGutter.addedBackground#97c892
minimapGutter.deletedBackground#ee5d75
minimapGutter.modifiedBackground#5fb2df
multiDiffEditor.border#101a20
multiDiffEditor.headerBackground#233945
notificationCenterHeader.background#284450
notificationCenterHeader.foreground#cddde6
notificationLink.foreground#f6cc73
notifications.background#284450
notifications.border#101a20
notifications.foreground#acc6d4
notificationsErrorIcon.foreground#B4552D
notificationsInfoIcon.foreground#5fb2df
notificationsWarningIcon.foreground#DC8255
panel.background#182830
panel.border#101a20
panel.dropBorder#46718880
panelInput.border#2b4756
panelSection.border#101a20
panelSectionHeader.background#1d313a
panelSectionHeader.border#101a20
panelSectionHeader.foreground#cddde6
panelTitle.activeBorder#97c892
panelTitle.activeForeground#97c892
panelTitle.inactiveForeground#467188
peekView.border#101a20
peekViewEditor.background#213642
peekViewEditor.matchHighlightBackground#28445040
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#213642
peekViewEditorStickyScroll.background#1f333e
peekViewResult.background#1e323c
peekViewResult.fileForeground#cddde6
peekViewResult.lineForeground#acc6d4
peekViewResult.matchHighlightBackground#97c89280
peekViewResult.selectionBackground#97c89233
peekViewResult.selectionForeground#cddde6
peekViewTitle.background#233945
peekViewTitleDescription.foreground#cddde6
peekViewTitleLabel.foreground#cddde6
pickerGroup.border#101a20
pickerGroup.foreground#cddde6
profileBadge.background#97c892
profileBadge.foreground#1a2b34
progressBar.background#f6cc73
quickInput.background#1f333e
quickInput.foreground#cddde6b3
quickInputList.focusBackground#4a7e9473
quickInputList.focusForeground#ffffff
quickInputList.focusIconForeground#cddde6
quickInputTitle.background#16252d
sash.hoverBorder#97c89250
scmGraph.foreground1#5fb2df
scmGraph.foreground2#d194cd
scmGraph.foreground3#A4EF58
scmGraph.foreground4#59c6c8
scmGraph.foreground5#ee5d75
scmGraph.historyItemBaseRefColor#978dd6
scmGraph.historyItemHoverAdditionsForeground#97c892
scmGraph.historyItemHoverDefaultLabelBackground#acc6d4
scmGraph.historyItemHoverDefaultLabelForeground#010101
scmGraph.historyItemHoverDeletionsForeground#ee5d75
scmGraph.historyItemHoverLabelForeground#010101
scmGraph.historyItemRefColor#f6cc73
scmGraph.historyItemRemoteRefColor#5fb2df
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#cddde64d
scrollbarSlider.background#cddde626
scrollbarSlider.hoverBackground#cddde633
selection.background#97c89261
settings.headerForeground#cddde6
settings.modifiedItemIndicator#97c892
settings.settingsHeaderHoverForeground#cddde6
sideBar.background#16252d
sideBar.border#101a20
sideBar.foreground#acc6d4cc
sideBarSectionHeader.background#16252d
sideBarSectionHeader.border#101a20
sideBarSectionHeader.foreground#cddde6
sideBarStickyScroll.background#131f26
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#467188
statusBar.background#1a2b34
statusBar.border#101a20
statusBar.debuggingBackground#314746
statusBar.debuggingForeground#a0c6aa
statusBar.foreground#acc6d480
statusBar.noFolderBackground#16252d
statusBar.noFolderBorder#101a20
statusBar.noFolderForeground#acc6d4cc
statusBarItem.activeBackground#284450
statusBarItem.compactHoverBackground#97c892cc
statusBarItem.errorBackground#ee5d75
statusBarItem.errorForeground#450711
statusBarItem.errorHoverBackground#f38b9c
statusBarItem.errorHoverForeground#1a2b34
statusBarItem.hoverBackground#3d564f
statusBarItem.hoverForeground#cddde6
statusBarItem.offlineBackground#d194cd
statusBarItem.offlineForeground#471f45
statusBarItem.offlineHoverBackground#e0b8de
statusBarItem.offlineHoverForeground#1a2b34
statusBarItem.prominentBackground#1a2b34
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#2b4756
statusBarItem.prominentHoverForeground#1a2b34
statusBarItem.remoteBackground#59c6c8
statusBarItem.remoteForeground#08191a
statusBarItem.remoteHoverBackground#7fd3d5
statusBarItem.remoteHoverForeground#1a2b34
statusBarItem.warningBackground#DC8255
statusBarItem.warningForeground#291409
statusBarItem.warningHoverBackground#e5a17f
statusBarItem.warningHoverForeground#1a2b34
tab.activeBackground#1a2b34
tab.activeBorder#1a2b34
tab.activeBorderTop#97c892
tab.activeForeground#cddde6
tab.border#101a20
tab.hoverBackground#1a2b34
tab.inactiveBackground#16252d
tab.inactiveForeground#467188
tab.lastPinnedBorder#101a20
tab.unfocusedActiveBorder#1a2b34
tab.unfocusedActiveForeground#97c892
tab.unfocusedHoverBackground#1a2b34
tab.unfocusedInactiveForeground#467188
terminal.ansiBlack#1a2b34
terminal.ansiBlue#5fb2df
terminal.ansiBrightBlack#3a6174
terminal.ansiBrightBlue#42bbfc
terminal.ansiBrightCyan#38e6e9
terminal.ansiBrightGreen#83e179
terminal.ansiBrightMagenta#e87de1
terminal.ansiBrightRed#ff4c6a
terminal.ansiBrightWhite#ffffff
terminal.ansiBrightYellow#ffcf6a
terminal.ansiCyan#59c6c8
terminal.ansiGreen#97c892
terminal.ansiMagenta#d194cd
terminal.ansiRed#ee5d75
terminal.ansiWhite#cddde6
terminal.ansiYellow#f6cc73
terminal.background#182830
terminal.foreground#cddde6
terminal.selectionForeground#cddde6
terminalCursor.background#1a2b34
terminalCursor.foreground#f6cc73
terminalStickyScrollHover.background#1f333e
textBlockQuote.background#5fb2df33
textBlockQuote.border#5fb2dfb9
textCodeBlock.background#5fb2df33
textLink.activeForeground#97c892
textLink.foreground#97c892
textPreformat.background#444841
textPreformat.foreground#f6cc73
textSeparator.foreground#97c892
titleBar.activeBackground#111d23
titleBar.activeForeground#cddde666
titleBar.border#101a20
titleBar.inactiveBackground#111d23
titleBar.inactiveForeground#467188
toolbar.activeBackground#46718880
toolbar.hoverBackground#4671884d
tree.indentGuidesStroke#46718870
walkThrough.embeddedEditorBackground#1a2b34
welcomePage.progress.background#284450
welcomePage.progress.foreground#97c892
welcomePage.tileBackground#acc6d41a
welcomePage.tileBorder#acc6d433
welcomePage.tileHoverBackground#acc6d433
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#467188	italic
string	#97c892	—
constant.numeric	#DC8255	—
comment.line	#467188	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	#467188	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#7b8c82	italic
keyword.control.krl	#978dd6	bold
keyword.function.movement.krl	#5fb2df	bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl	#f6cc73	italic
variable.language.system.krl	#B4552D
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl	#DC8255	—
string.quoted.double.krl	#97c892	—
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}!`;
}