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 Stained Blue

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#3a7fff26
activityBar.activeBorder#3A7FFF
activityBar.background#0e121e
activityBar.border#080a11
activityBar.dropBorder#3c4c7c33
activityBar.foreground#3A7FFF
activityBar.inactiveForeground#444b65
activityBarBadge.background#3A7FFF
activityBarBadge.foreground#0e121e
activityBarTop.activeBorder#3A7FFF
activityBarTop.dropBorder#3c4c7c33
activityBarTop.foreground#3A7FFF
activityBarTop.inactiveForeground#404558
badge.background#3A7FFF
badge.foreground#0e121e
breadcrumb.background#121726
breadcrumbPicker.background#1a2137
button.background#3a7fff80
button.border#ffffff26
button.foreground#aac8ff
button.hoverBackground#3a7fff99
button.secondaryBackground#1d263e
button.secondaryForeground#bec6dfcc
button.secondaryHoverBackground#222c49
button.separator#ffffff4d
charts.blue#3398DB
charts.foreground#bec6df
charts.green#37ae6f
charts.lines#bec6df
charts.orange#D26D32
charts.purple#CC71BC
charts.red#C13838
charts.yellow#c9a022
checkbox.foreground#bec6df
commandCenter.activeBackground#1a213761
commandCenter.activeForeground#9ba8cf8f
commandCenter.background#121726
commandCenter.border#080a11
commandCenter.foreground#3c4c7c
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#C13838
debugConsole.infoForeground#3398DB
debugConsole.warningForeground#c9a022
debugExceptionWidget.background#1a2137
debugExceptionWidget.border#080a11
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#182038
descriptionForeground#bec6df80
diffEditor.border#080a11
diffEditor.diagonalFill#1a2137
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#0c101b
diffEditor.unchangedRegionBackground#0c101b
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#37ae6f26
diffEditorOverview.removedForeground#c1383830
disabledForeground#bec6df4d
dropdown.background#161c2f
dropdown.border#2e3857
dropdown.foreground#bec6df
dropdown.listBackground#161c2f
editor.background#121726
editor.findMatchBackground#3a7fff30
editor.findMatchBorder#3a7fff61
editor.findMatchHighlightBackground#3a7fff3d
editor.findMatchHighlightBorder#3a7fff5c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#3c4c7c
editor.foreground#bec6df
editor.hoverHighlightBackground#3a7fff4d
editor.inactiveSelectionBackground#3a7fff4d
editor.lineHighlightBackground#3a7fff0f
editor.lineHighlightBorder#3a7fff26
editor.linkedEditingBackground#1b9df333
editor.rangeHighlightBackground#3a7fff3d
editor.selectionBackground#3a7fff4d
editor.selectionForeground#bec6df
editor.selectionHighlightBackground#3a7fff14
editor.selectionHighlightBorder#3a7fff4d
editor.wordHighlightBackground#3a7fff73
editor.wordHighlightBorder#3a7fff8a
editor.wordHighlightStrongBackground#3a7fff4d
editorBracketHighlight.foreground1#c9a022
editorBracketHighlight.foreground2#CC71BC
editorBracketHighlight.foreground3#3398DB
editorBracketHighlight.foreground4#935cd1
editorBracketHighlight.foreground5#24B5A8
editorBracketHighlight.foreground6#de456b
editorBracketHighlight.unexpectedBracket.foreground#C13838
editorBracketMatch.background#3a7fff4d
editorBracketMatch.border#3a7fff73
editorCodeLens.foreground#9ba8cf80
editorCursor.background#3A7FFF
editorCursor.foreground#c9a022
editorError.border#00000000
editorError.foreground#C13838
editorGhostText.border#00000000
editorGhostText.foreground#bec6df70
editorGroup.border#080a11
editorGroup.dropBackground#3a7fff14
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#121726
editorGroupHeader.tabsBackground#0e121e
editorGroupHeader.tabsBorder#080a11
editorGutter.addedBackground#37ae6fcc
editorGutter.background#121726
editorGutter.commentRangeForeground#1a2137
editorGutter.deletedBackground#c13838cc
editorGutter.modifiedBackground#3398dbcc
editorHoverWidget.background#1a2137
editorHoverWidget.border#080a11
editorIndentGuide.activeBackground1#3c4c7ccc
editorIndentGuide.background1#3c4c7c33
editorInfo.border#00000000
editorInlayHint.background#9ba8cf1a
editorInlayHint.foreground#9ba8cfb3
editorInlayHint.parameterBackground#9ba8cf1a
editorInlayHint.parameterForeground#9ba8cfb3
editorInlayHint.typeBackground#9ba8cf1a
editorInlayHint.typeForeground#9ba8cfb3
editorLineNumber.activeForeground#798ab8
editorLineNumber.foreground#343b52
editorLink.activeForeground#bec6df
editorMarkerNavigation.background#0e121e
editorMarkerNavigationError.background#c138388f
editorMarkerNavigationInfo.background#3398db8f
editorMarkerNavigationWarning.background#c9a0228f
editorOverviewRuler.addedForeground#37ae6f80
editorOverviewRuler.border#080a11
editorOverviewRuler.deletedForeground#c1383880
editorOverviewRuler.errorForeground#C13838
editorOverviewRuler.incomingContentForeground#37ae6f80
editorOverviewRuler.infoForeground#3398db80
editorOverviewRuler.modifiedForeground#3398db80
editorOverviewRuler.selectionHighlightForeground#3a7fff80
editorOverviewRuler.warningForeground#c9a022
editorRuler.foreground#3c4c7c33
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#171d30
editorSuggestWidget.background#151b2d
editorSuggestWidget.border#080a11
editorSuggestWidget.foreground#9ba8cf
editorSuggestWidget.highlightForeground#c9a022
editorSuggestWidget.selectedBackground#222c49
editorSuggestWidget.selectedIconForeground#bec6df
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#c9a022
editorWhitespace.foreground#3c4c7c60
editorWidget.background#1a2137
editorWidget.border#222c49
editorWidget.resizeBorder#3a7fff50
errorForeground#C13838
errorLens.errorForeground#c13838fc
errorLens.hintForeground#3398dbfc
errorLens.infoForeground#3398dbfc
errorLens.warningForeground#c9a022fc
extensionButton.background#3a7fff80
extensionButton.foreground#aac8ff
extensionButton.hoverBackground#3a7fff99
extensionButton.prominentBackground#3a7fff9d
extensionButton.prominentForeground#bec6df
extensionButton.prominentHoverBackground#3A7FFF
focusBorder#33416b
foreground#9ba8cf
gitDecoration.conflictingResourceForeground#3A7FFF
gitDecoration.deletedResourceForeground#C13838
gitDecoration.ignoredResourceForeground#3c4c7c
gitDecoration.modifiedResourceForeground#3398DB
gitDecoration.untrackedResourceForeground#37ae6f
icon.foreground#9ba8cfab
inlineChat.background#1a2137
inlineChat.border#222c49
inlineChatInput.background#151b2d
inlineChatInput.border#222c49
inlineChatInput.focusBorder#33416b
inlineEdit.gutterIndicator.background#9ba8cf80
inlineEdit.gutterIndicator.primaryBackground#725b13b3
inlineEdit.gutterIndicator.primaryBorder#725b13
inlineEdit.gutterIndicator.primaryForeground#020203
inlineEdit.gutterIndicator.secondaryBackground#004ad3b3
inlineEdit.gutterIndicator.secondaryBorder#004ad3
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#161c2f
input.border#2e3857
input.foreground#bec6df
input.placeholderForeground#485889
inputOption.activeBackground#43568e
inputOption.activeBorder#00000000
inputOption.activeForeground#bec6df
inputOption.hoverBackground#222c49
inputValidation.errorBackground#1a2137
inputValidation.errorBorder#c9a022
inputValidation.infoBackground#1a2137
inputValidation.infoBorder#3A7FFF
inputValidation.warningBackground#1a2137
inputValidation.warningBorder#c9a022
keybindingLabel.background#1a2137
keybindingLabel.border#444f73
keybindingLabel.bottomBorder#444f73
keybindingLabel.foreground#717fac
list.activeSelectionBackground#2a365a73
list.activeSelectionForeground#bec6df
list.dropBackground#3a7fff15
list.errorForeground#C13838
list.focusBackground#3a7fff40
list.focusForeground#9ba8cf
list.highlightForeground#c9a022
list.hoverBackground#2a365a4d
list.hoverForeground#f2f3f7
list.inactiveSelectionBackground#2a365a40
list.inactiveSelectionForeground#bec6df
list.warningForeground#c9a022
menu.background#1a2137
menu.border#080a11
menu.foreground#929cbe
menu.selectionForeground#f2f3f7
menu.separatorBackground#080a1165
menubar.selectionBackground#1a2137
menubar.selectionForeground#9ba8cf
merge.border#080a11
merge.commonContentBackground#c9a02230
merge.commonHeaderBackground#c9a02280
merge.currentContentBackground#37ae6f30
merge.currentHeaderBackground#37ae6f80
merge.incomingContentBackground#3398db30
merge.incomingHeaderBackground#3398db80
minimap.background#121726
minimap.errorHighlight#C13838
minimap.findMatchHighlight#3A7FFF
minimap.selectionHighlight#3A7FFF
minimap.selectionOccurrenceHighlight#3A7FFF
minimap.warningHighlight#c9a022
minimapGutter.addedBackground#37ae6f
minimapGutter.deletedBackground#C13838
minimapGutter.modifiedBackground#3398DB
multiDiffEditor.border#080a11
multiDiffEditor.headerBackground#1a2137
notificationCenterHeader.background#1a2137
notificationCenterHeader.foreground#bec6df
notificationLink.foreground#c9a022
notifications.background#1a2137
notifications.border#080a11
notifications.foreground#9ba8cf
notificationsErrorIcon.foreground#C13838
notificationsInfoIcon.foreground#3398DB
notificationsWarningIcon.foreground#D26D32
panel.background#101522
panel.border#080a11
panel.dropBorder#3c4c7c80
panelInput.border#222c49
panelSection.border#080a11
panelSectionHeader.background#151b2c
panelSectionHeader.border#080a11
panelSectionHeader.foreground#bec6df
panelTitle.activeBorder#3A7FFF
panelTitle.activeForeground#3A7FFF
panelTitle.inactiveForeground#3c4c7c
peekView.border#080a11
peekViewEditor.background#191f34
peekViewEditor.matchHighlightBackground#1a213740
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#191f34
peekViewEditorStickyScroll.background#171d30
peekViewResult.background#161c2f
peekViewResult.fileForeground#bec6df
peekViewResult.lineForeground#9ba8cf
peekViewResult.matchHighlightBackground#3a7fff80
peekViewResult.selectionBackground#3a7fff33
peekViewResult.selectionForeground#bec6df
peekViewTitle.background#1a2137
peekViewTitleDescription.foreground#bec6df
peekViewTitleLabel.foreground#bec6df
pickerGroup.border#080a11
pickerGroup.foreground#bec6df
profileBadge.background#3A7FFF
profileBadge.foreground#121726
progressBar.background#c9a022
quickInput.background#171d30
quickInput.foreground#bec6dfb3
quickInputList.focusBackground#3b4b7c73
quickInputList.focusForeground#f2f3f7
quickInputList.focusIconForeground#bec6df
quickInputTitle.background#0e121e
sash.hoverBorder#3a7fff50
scmGraph.foreground1#3398DB
scmGraph.foreground2#CC71BC
scmGraph.foreground3#7E9E2D
scmGraph.foreground4#24B5A8
scmGraph.foreground5#de456b
scmGraph.historyItemBaseRefColor#935cd1
scmGraph.historyItemHoverAdditionsForeground#37ae6f
scmGraph.historyItemHoverDefaultLabelBackground#9ba8cf
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#C13838
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#c9a022
scmGraph.historyItemRemoteRefColor#3398DB
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#bec6df4d
scrollbarSlider.background#bec6df26
scrollbarSlider.hoverBackground#bec6df33
selection.background#3a7fff61
settings.headerForeground#bec6df
settings.modifiedItemIndicator#3A7FFF
settings.settingsHeaderHoverForeground#bec6df
sideBar.background#0e121e
sideBar.border#080a11
sideBar.foreground#9ba8cfcc
sideBarSectionHeader.background#0e121e
sideBarSectionHeader.border#080a11
sideBarSectionHeader.foreground#bec6df
sideBarStickyScroll.background#0b0e17
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#3c4c7c
statusBar.background#121726
statusBar.border#080a11
statusBar.debuggingBackground#1d294c
statusBar.debuggingForeground#8b92dc
statusBar.foreground#9ba8cf80
statusBar.noFolderBackground#0e121e
statusBar.noFolderBorder#080a11
statusBar.noFolderForeground#9ba8cfcc
statusBarItem.activeBackground#1a2137
statusBarItem.compactHoverBackground#3a7fffcc
statusBarItem.errorBackground#C13838
statusBarItem.errorForeground#000000
statusBarItem.errorHoverBackground#d05c5c
statusBarItem.errorHoverForeground#121726
statusBarItem.hoverBackground#223360
statusBarItem.hoverForeground#bec6df
statusBarItem.offlineBackground#CC71BC
statusBarItem.offlineForeground#2e1028
statusBarItem.offlineHoverBackground#d997ce
statusBarItem.offlineHoverForeground#121726
statusBarItem.prominentBackground#121726
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#222c49
statusBarItem.prominentHoverForeground#121726
statusBarItem.remoteBackground#24B5A8
statusBarItem.remoteForeground#000000
statusBarItem.remoteHoverBackground#35d7c8
statusBarItem.remoteHoverForeground#121726
statusBarItem.warningBackground#c9a022
statusBarItem.warningForeground#000000
statusBarItem.warningHoverBackground#dfb83f
statusBarItem.warningHoverForeground#121726
tab.activeBackground#121726
tab.activeBorder#121726
tab.activeBorderTop#3A7FFF
tab.activeForeground#bec6df
tab.border#080a11
tab.hoverBackground#121726
tab.inactiveBackground#0e121e
tab.inactiveForeground#3c4c7c
tab.lastPinnedBorder#080a11
tab.unfocusedActiveBorder#121726
tab.unfocusedActiveForeground#3A7FFF
tab.unfocusedHoverBackground#121726
tab.unfocusedInactiveForeground#3c4c7c
terminal.ansiBlack#121726
terminal.ansiBlue#3398DB
terminal.ansiBrightBlack#314067
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#bec6df
terminal.ansiYellow#c9a022
terminal.background#101522
terminal.foreground#bec6df
terminal.selectionForeground#bec6df
terminalCursor.background#121726
terminalCursor.foreground#c9a022
terminalStickyScrollHover.background#171d30
textBlockQuote.background#3398db33
textBlockQuote.border#3398dbb9
textCodeBlock.background#3398db33
textLink.activeForeground#3A7FFF
textLink.foreground#3A7FFF
textPreformat.background#362f2a
textPreformat.foreground#c9a022
textSeparator.foreground#3A7FFF
titleBar.activeBackground#090c14
titleBar.activeForeground#bec6df66
titleBar.border#080a11
titleBar.inactiveBackground#090c14
titleBar.inactiveForeground#3c4c7c
toolbar.activeBackground#3c4c7c80
toolbar.hoverBackground#3c4c7c4d
tree.indentGuidesStroke#3c4c7c70
walkThrough.embeddedEditorBackground#121726
welcomePage.progress.background#1a2137
welcomePage.progress.foreground#3A7FFF
welcomePage.tileBackground#9ba8cf1a
welcomePage.tileBorder#9ba8cf33
welcomePage.tileHoverBackground#9ba8cf33
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#3c4b7c	italic
string	#37ae6f	—
constant.numeric	#D26D32	—
comment.line	#3c4b7c	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	#3c4b7c	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#666561	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}!`;
}