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 Reverded

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#152229
activityBar.border#0b1115
activityBar.dropBorder#41687c33
activityBar.foreground#97c892
activityBar.inactiveForeground#445762
activityBarBadge.background#97c892
activityBarBadge.foreground#152229
activityBarTop.activeBorder#97c892
activityBarTop.dropBorder#41687c33
activityBarTop.foreground#97c892
activityBarTop.inactiveForeground#404d55
badge.background#97c892
badge.foreground#152229
breadcrumb.background#111c22
breadcrumbPicker.background#1a2a33
button.background#97c89280
button.border#ffffff26
button.foreground#deeedd
button.hoverBackground#97c89299
button.secondaryBackground#1d303a
button.secondaryForeground#c3d6e0cc
button.secondaryHoverBackground#223844
button.separator#ffffff4d
charts.blue#5fb2df
charts.foreground#c3d6e0
charts.green#97c892
charts.lines#c3d6e0
charts.orange#DC8255
charts.purple#d194cd
charts.red#B4552D
charts.yellow#f6cc73
checkbox.foreground#c3d6e0
commandCenter.activeBackground#1e303a61
commandCenter.activeForeground#a2bfce8f
commandCenter.background#111c22
commandCenter.border#0b1115
commandCenter.foreground#41687c
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#ee5d75
debugConsole.infoForeground#5fb2df
debugConsole.warningForeground#DC8255
debugExceptionWidget.background#1e303a
debugExceptionWidget.border#0b1115
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#1d2a2c
descriptionForeground#c3d6e080
diffEditor.border#0b1115
diffEditor.diagonalFill#1a2a33
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#131f26
diffEditor.unchangedRegionBackground#131f26
diffEditor.unchangedRegionShadow#00000066
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#97c89226
diffEditorOverview.removedForeground#ee5d7530
disabledForeground#c3d6e04d
dropdown.background#15232b
dropdown.border#2e4552
dropdown.foreground#c3d6e0
dropdown.listBackground#15232b
editor.background#111c22
editor.findMatchBackground#97c89230
editor.findMatchBorder#97c89261
editor.findMatchHighlightBackground#97c8923d
editor.findMatchHighlightBorder#97c8925c
editor.foldBackground#00000033
editor.foldPlaceholderForeground#41687c
editor.foreground#c3d6e0
editor.hoverHighlightBackground#97c8924d
editor.inactiveSelectionBackground#97c8924d
editor.lineHighlightBackground#97c8920f
editor.lineHighlightBorder#97c89226
editor.linkedEditingBackground#4cb8f233
editor.rangeHighlightBackground#97c8923d
editor.selectionBackground#97c8924d
editor.selectionForeground#c3d6e0
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#a2bfce80
editorCursor.background#97c892
editorCursor.foreground#f6cc73
editorError.border#00000000
editorError.foreground#ee5d75
editorGhostText.border#00000000
editorGhostText.foreground#c3d6e070
editorGroup.border#0b1115
editorGroup.dropBackground#97c89214
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#111c22
editorGroupHeader.tabsBackground#152229
editorGroupHeader.tabsBorder#0b1115
editorGutter.addedBackground#97c892cc
editorGutter.background#111c22
editorGutter.commentRangeForeground#1e303a
editorGutter.deletedBackground#ee5d75cc
editorGutter.modifiedBackground#5fb2dfcc
editorHoverWidget.background#1e303a
editorHoverWidget.border#0b1115
editorIndentGuide.activeBackground1#41687ccc
editorIndentGuide.background1#41687c33
editorInfo.border#00000000
editorInlayHint.background#a2bfce1a
editorInlayHint.foreground#a2bfceb3
editorInlayHint.parameterBackground#a2bfce1a
editorInlayHint.parameterForeground#a2bfceb3
editorInlayHint.typeBackground#a2bfce1a
editorInlayHint.typeForeground#a2bfceb3
editorLineNumber.activeForeground#80a5b7
editorLineNumber.foreground#34464f
editorLink.activeForeground#c3d6e0
editorMarkerNavigation.background#152229
editorMarkerNavigationError.background#ee5d758f
editorMarkerNavigationInfo.background#5fb2df8f
editorMarkerNavigationWarning.background#dc82558f
editorOverviewRuler.addedForeground#97c89280
editorOverviewRuler.border#0b1115
editorOverviewRuler.deletedForeground#ee5d7580
editorOverviewRuler.errorForeground#ee5d75
editorOverviewRuler.incomingContentForeground#97c89280
editorOverviewRuler.infoForeground#5fb2df80
editorOverviewRuler.modifiedForeground#5fb2df80
editorOverviewRuler.selectionHighlightForeground#97c89280
editorOverviewRuler.warningForeground#DC8255
editorRuler.foreground#41687c33
editorStickyScroll.shadow#00000066
editorStickyScrollHover.background#16242c
editorSuggestWidget.background#142229
editorSuggestWidget.border#0b1115
editorSuggestWidget.foreground#a2bfce
editorSuggestWidget.highlightForeground#f6cc73
editorSuggestWidget.selectedBackground#223844
editorSuggestWidget.selectedIconForeground#c3d6e0
editorUnnecessaryCode.border#00000000
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#f6cc73
editorWhitespace.foreground#41687c60
editorWidget.background#1e303a
editorWidget.border#223844
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#c3d6e0
extensionButton.prominentHoverBackground#97c892
focusBorder#335466
foreground#a2bfce
gitDecoration.conflictingResourceForeground#97c892
gitDecoration.deletedResourceForeground#ee5d75
gitDecoration.ignoredResourceForeground#41687c
gitDecoration.modifiedResourceForeground#5fb2df
gitDecoration.untrackedResourceForeground#97c892
icon.foreground#a2bfceab
inlineChat.background#1a2a33
inlineChat.border#223844
inlineChatInput.background#142229
inlineChatInput.border#223844
inlineChatInput.focusBorder#335466
inlineEdit.gutterIndicator.background#a2bfce80
inlineEdit.gutterIndicator.primaryBackground#f0a913b3
inlineEdit.gutterIndicator.primaryBorder#f0a913
inlineEdit.gutterIndicator.primaryForeground#040607
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#15232b
input.border#2e4552
input.foreground#c3d6e0
input.placeholderForeground#496f83
inputOption.activeBackground#447088
inputOption.activeBorder#00000000
inputOption.activeForeground#c3d6e0
inputOption.hoverBackground#223844
inputValidation.errorBackground#1e303a
inputValidation.errorBorder#f6cc73
inputValidation.infoBackground#1e303a
inputValidation.infoBorder#97c892
inputValidation.warningBackground#1e303a
inputValidation.warningBorder#f6cc73
keybindingLabel.background#1e303a
keybindingLabel.border#4a6574
keybindingLabel.bottomBorder#4a6574
keybindingLabel.foreground#7a99aa
list.activeSelectionBackground#2f4c5c73
list.activeSelectionForeground#c3d6e0
list.dropBackground#97c89215
list.errorForeground#ee5d75
list.focusBackground#97c89240
list.focusForeground#a2bfce
list.highlightForeground#f6cc73
list.hoverBackground#2f4c5c4d
list.hoverForeground#f6f8fa
list.inactiveSelectionBackground#2f4c5c40
list.inactiveSelectionForeground#c3d6e0
list.warningForeground#DC8255
menu.background#1e303a
menu.border#0b1115
menu.foreground#99b1be
menu.selectionForeground#f6f8fa
menu.separatorBackground#0b111565
menubar.selectionBackground#1e303a
menubar.selectionForeground#a2bfce
merge.border#0b1115
merge.commonContentBackground#f6cc7330
merge.commonHeaderBackground#f6cc7380
merge.currentContentBackground#97c89230
merge.currentHeaderBackground#97c89280
merge.incomingContentBackground#5fb2df30
merge.incomingHeaderBackground#5fb2df80
minimap.background#111c22
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#0b1115
multiDiffEditor.headerBackground#1a2a33
notificationCenterHeader.background#1e303a
notificationCenterHeader.foreground#c3d6e0
notificationLink.foreground#f6cc73
notifications.background#1e303a
notifications.border#0b1115
notifications.foreground#a2bfce
notificationsErrorIcon.foreground#B4552D
notificationsInfoIcon.foreground#5fb2df
notificationsWarningIcon.foreground#DC8255
panel.background#131f25
panel.border#0b1115
panel.dropBorder#41687c80
panelInput.border#223844
panelSection.border#0b1115
panelSectionHeader.background#18272f
panelSectionHeader.border#0b1115
panelSectionHeader.foreground#c3d6e0
panelTitle.activeBorder#97c892
panelTitle.activeForeground#97c892
panelTitle.inactiveForeground#41687c
peekView.border#0b1115
peekViewEditor.background#182730
peekViewEditor.matchHighlightBackground#1e303a40
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#182730
peekViewEditorStickyScroll.background#16242c
peekViewResult.background#15232b
peekViewResult.fileForeground#c3d6e0
peekViewResult.lineForeground#a2bfce
peekViewResult.matchHighlightBackground#97c89280
peekViewResult.selectionBackground#97c89233
peekViewResult.selectionForeground#c3d6e0
peekViewTitle.background#1a2a33
peekViewTitleDescription.foreground#c3d6e0
peekViewTitleLabel.foreground#c3d6e0
pickerGroup.border#0b1115
pickerGroup.foreground#c3d6e0
profileBadge.background#97c892
profileBadge.foreground#111c22
progressBar.background#f6cc73
quickInput.background#16242c
quickInput.foreground#c3d6e0b3
quickInputList.focusBackground#41687d73
quickInputList.focusForeground#f6f8fa
quickInputList.focusIconForeground#c3d6e0
quickInputTitle.background#152229
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#a2bfce
scmGraph.historyItemHoverDefaultLabelForeground#000000
scmGraph.historyItemHoverDeletionsForeground#ee5d75
scmGraph.historyItemHoverLabelForeground#000000
scmGraph.historyItemRefColor#f6cc73
scmGraph.historyItemRemoteRefColor#5fb2df
scrollbar.shadow#00000066
scrollbarSlider.activeBackground#c3d6e04d
scrollbarSlider.background#c3d6e026
scrollbarSlider.hoverBackground#c3d6e033
selection.background#97c89261
settings.headerForeground#c3d6e0
settings.modifiedItemIndicator#97c892
settings.settingsHeaderHoverForeground#c3d6e0
sideBar.background#152229
sideBar.border#0b1115
sideBar.foreground#a2bfcecc
sideBarSectionHeader.background#152229
sideBarSectionHeader.border#0b1115
sideBarSectionHeader.foreground#c3d6e0
sideBarStickyScroll.background#121c22
sideBarStickyScroll.shadow#00000066
sideBarTitle.foreground#41687c
statusBar.background#111c22
statusBar.border#0b1115
statusBar.debuggingBackground#293a37
statusBar.debuggingForeground#9bc1a6
statusBar.foreground#a2bfce80
statusBar.noFolderBackground#152229
statusBar.noFolderBorder#0b1115
statusBar.noFolderForeground#a2bfcecc
statusBarItem.activeBackground#1e303a
statusBarItem.compactHoverBackground#97c892cc
statusBarItem.errorBackground#ee5d75
statusBarItem.errorForeground#450711
statusBarItem.errorHoverBackground#f38b9c
statusBarItem.errorHoverForeground#111c22
statusBarItem.hoverBackground#364a41
statusBarItem.hoverForeground#c3d6e0
statusBarItem.offlineBackground#d194cd
statusBarItem.offlineForeground#471f45
statusBarItem.offlineHoverBackground#e0b8de
statusBarItem.offlineHoverForeground#111c22
statusBarItem.prominentBackground#111c22
statusBarItem.prominentForeground#000000
statusBarItem.prominentHoverBackground#223844
statusBarItem.prominentHoverForeground#111c22
statusBarItem.remoteBackground#59c6c8
statusBarItem.remoteForeground#08191a
statusBarItem.remoteHoverBackground#7fd3d5
statusBarItem.remoteHoverForeground#111c22
statusBarItem.warningBackground#DC8255
statusBarItem.warningForeground#291409
statusBarItem.warningHoverBackground#e5a17f
statusBarItem.warningHoverForeground#111c22
tab.activeBackground#111c22
tab.activeBorder#111c22
tab.activeBorderTop#97c892
tab.activeForeground#c3d6e0
tab.border#0b1115
tab.hoverBackground#111c22
tab.inactiveBackground#152229
tab.inactiveForeground#41687c
tab.lastPinnedBorder#0b1115
tab.unfocusedActiveBorder#111c22
tab.unfocusedActiveForeground#97c892
tab.unfocusedHoverBackground#111c22
tab.unfocusedInactiveForeground#41687c
terminal.ansiBlack#111c22
terminal.ansiBlue#5fb2df
terminal.ansiBrightBlack#365768
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#c3d6e0
terminal.ansiYellow#f6cc73
terminal.background#131f25
terminal.foreground#c3d6e0
terminal.selectionForeground#c3d6e0
terminalCursor.background#111c22
terminalCursor.foreground#f6cc73
terminalStickyScrollHover.background#16242c
textBlockQuote.background#5fb2df33
textBlockQuote.border#5fb2dfb9
textCodeBlock.background#5fb2df33
textLink.activeForeground#97c892
textLink.foreground#97c892
textPreformat.background#3b3a32
textPreformat.foreground#f6cc73
textSeparator.foreground#97c892
titleBar.activeBackground#101a1f
titleBar.activeForeground#c3d6e066
titleBar.border#0b1115
titleBar.inactiveBackground#101a1f
titleBar.inactiveForeground#41687c
toolbar.activeBackground#41687c80
toolbar.hoverBackground#41687c4d
tree.indentGuidesStroke#41687c70
walkThrough.embeddedEditorBackground#111c22
welcomePage.progress.background#1e303a
welcomePage.progress.foreground#97c892
welcomePage.tileBackground#a2bfce1a
welcomePage.tileBorder#a2bfce33
welcomePage.tileHoverBackground#a2bfce33
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#41687c	italic
string	#97c892	—
constant.numeric	#DC8255	—
comment.line	#41687c	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	#41687c	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#778679	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}!`;
}