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 Flurry

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#444c5433
activityBar.activeBorder#444c54
activityBar.background#EAECEE
activityBar.border#c2c8ce
activityBar.dropBorder#89898933
activityBar.foreground#444c54
activityBar.inactiveForeground#a2aab4
activityBarBadge.background#444c54
activityBarBadge.foreground#EAECEE
activityBarTop.activeBorder#444c54
activityBarTop.dropBorder#89898933
activityBarTop.foreground#444c54
activityBarTop.inactiveForeground#9ca0a6
badge.background#444c54
badge.foreground#EAECEE
breadcrumb.background#f5f8fc
breadcrumbPicker.background#ffffff
button.background#444c5480
button.border#00000026
button.foreground#000000
button.hoverBackground#444c5499
button.secondaryBackground#dae5f4
button.secondaryForeground#272d34
button.secondaryHoverBackground#ceddf0
button.separator#0000004d
charts.blue#0aa3d6
charts.foreground#272d34
charts.green#41ad4e
charts.lines#272d34
charts.orange#e3946a
charts.purple#f08ad9
charts.red#ee5f50
charts.yellow#e39c03
checkbox.foreground#272d34
commandCenter.activeBackground#f9fbfe61
commandCenter.activeForeground#3f47508f
commandCenter.background#f5f8fc
commandCenter.border#c2c8ce
commandCenter.foreground#898989
contrastActiveBorder#00000000
contrastBorder#00000000
debugConsole.errorForeground#ee5f50
debugConsole.infoForeground#0aa3d6
debugConsole.warningForeground#e3946a
debugExceptionWidget.background#f9fbfe
debugExceptionWidget.border#c2c8ce
debugIcon.breakpointCurrentStackframeForeground#ee5f50
debugIcon.breakpointDisabledForeground#ee5f5080
debugIcon.breakpointForeground#ee5f50
debugIcon.continueForeground#0aa3d6
debugIcon.disconnectForeground#ee5f50
debugIcon.pauseForeground#ee5f50
debugIcon.restartForeground#41ad4e
debugIcon.startForeground#41ad4e
debugIcon.stepBackForeground#0aa3d6
debugIcon.stepIntoForeground#0aa3d6
debugIcon.stepOutForeground#0aa3d6
debugIcon.stepOverForeground#0aa3d6
debugIcon.stopForeground#ee5f50
debugToolBar.background#e2e5ea
descriptionForeground#272d34cc
diffEditor.border#c2c8ce
diffEditor.diagonalFill#ffffff
diffEditor.insertedLineBackground#2fbf401a
diffEditor.insertedTextBackground#2fbf401a
diffEditor.insertedTextBorder#00000000
diffEditor.move.border#e39c034d
diffEditor.moveActive.border#e39c03b3
diffEditor.removedLineBackground#fc53421a
diffEditor.removedTextBackground#fc53421a
diffEditor.removedTextBorder#00000000
diffEditor.unchangedCodeBackground#e7e9ec
diffEditor.unchangedRegionBackground#e7e9ec
diffEditor.unchangedRegionShadow#00000033
diffEditorGutter.insertedLineBackground#00000000
diffEditorGutter.removedLineBackground#00000000
diffEditorOverview.insertedForeground#41ad4e26
diffEditorOverview.removedForeground#ee5f5030
disabledForeground#272d344d
dropdown.background#fdfdfe
dropdown.border#a7c1e4
dropdown.foreground#272d34
dropdown.listBackground#fdfdfe
editor.background#f5f8fc
editor.findMatchBackground#444c5430
editor.findMatchBorder#444c5461
editor.findMatchHighlightBackground#444c543d
editor.findMatchHighlightBorder#444c545c
editor.foldBackground#0000000d
editor.foldPlaceholderForeground#898989
editor.foreground#272d34
editor.hoverHighlightBackground#444c544d
editor.inactiveSelectionBackground#444c544d
editor.lineHighlightBackground#444c540f
editor.lineHighlightBorder#444c5426
editor.linkedEditingBackground#00a8e033
editor.rangeHighlightBackground#444c543d
editor.selectionBackground#444c544d
editor.selectionForeground#272d34
editor.selectionHighlightBackground#444c5414
editor.selectionHighlightBorder#444c544d
editor.wordHighlightBackground#444c541f
editor.wordHighlightBorder#444c543d
editor.wordHighlightStrongBackground#444c543d
editorBracketHighlight.foreground1#e39c03
editorBracketHighlight.foreground2#f08ad9
editorBracketHighlight.foreground3#0aa3d6
editorBracketHighlight.foreground4#b377e3
editorBracketHighlight.foreground5#00b696
editorBracketHighlight.foreground6#ed7b89
editorBracketHighlight.unexpectedBracket.foreground#ee5f50
editorBracketMatch.background#444c544d
editorBracketMatch.border#444c5473
editorCodeLens.foreground#3f475080
editorCursor.background#444c54
editorCursor.foreground#e39c03
editorError.border#00000000
editorError.foreground#ee5f50
editorGhostText.border#00000000
editorGhostText.foreground#272d3470
editorGroup.border#c2c8ce
editorGroup.dropBackground#444c5414
editorGroupHeader.border#00000000
editorGroupHeader.noTabsBackground#f5f8fc
editorGroupHeader.tabsBackground#EAECEE
editorGroupHeader.tabsBorder#c2c8ce
editorGutter.addedBackground#41ad4ecc
editorGutter.background#f5f8fc
editorGutter.commentRangeForeground#f9fbfe
editorGutter.deletedBackground#ee5f50cc
editorGutter.modifiedBackground#0aa3d6cc
editorHoverWidget.background#f9fbfe
editorHoverWidget.border#c2c8ce
editorIndentGuide.activeBackground1#898989e6
editorIndentGuide.background1#89898966
editorInfo.border#00000000
editorInlayHint.background#3f47501a
editorInlayHint.foreground#3f4750b3
editorInlayHint.parameterBackground#3f47501a
editorInlayHint.parameterForeground#3f4750b3
editorInlayHint.typeBackground#3f47501a
editorInlayHint.typeForeground#3f4750b3
editorLineNumber.activeForeground#20416c
editorLineNumber.foreground#b9c0c8
editorLink.activeForeground#272d34
editorMarkerNavigation.background#EAECEE
editorMarkerNavigationError.background#ee5f508f
editorMarkerNavigationInfo.background#0aa3d68f
editorMarkerNavigationWarning.background#e3946a8f
editorOverviewRuler.addedForeground#41ad4e80
editorOverviewRuler.border#c2c8ce
editorOverviewRuler.deletedForeground#ee5f5080
editorOverviewRuler.errorForeground#ee5f50
editorOverviewRuler.incomingContentForeground#41ad4e80
editorOverviewRuler.infoForeground#0aa3d680
editorOverviewRuler.modifiedForeground#0aa3d680
editorOverviewRuler.selectionHighlightForeground#444c5480
editorOverviewRuler.warningForeground#e3946a
editorRuler.foreground#89898933
editorStickyScroll.shadow#00000033
editorStickyScrollHover.background#ffffff
editorSuggestWidget.background#fdfdfe
editorSuggestWidget.border#c2c8ce
editorSuggestWidget.foreground#3f4750
editorSuggestWidget.highlightForeground#e39c03
editorSuggestWidget.selectedBackground#e1eaf6
editorSuggestWidget.selectedIconForeground#272d34
editorUnnecessaryCode.border#3f475099
editorUnnecessaryCode.opacity#000000aa
editorWarning.border#00000000
editorWarning.foreground#e39c03
editorWhitespace.foreground#89898960
editorWidget.background#f9fbfe
editorWidget.border#ceddf0
editorWidget.resizeBorder#444c5450
errorForeground#ee5f50
errorLens.errorForeground#ee5f50fc
errorLens.hintForeground#0aa3d6fc
errorLens.infoForeground#0aa3d6fc
errorLens.warningForeground#e3946afc
extensionButton.background#444c5480
extensionButton.foreground#000000
extensionButton.hoverBackground#444c5499
extensionButton.prominentBackground#444c549d
extensionButton.prominentForeground#272d34
extensionButton.prominentHoverBackground#444c54
focusBorder#a7c1e4
foreground#3f4750
gitDecoration.conflictingResourceForeground#444c54
gitDecoration.deletedResourceForeground#ee5f50
gitDecoration.ignoredResourceForeground#898989
gitDecoration.modifiedResourceForeground#0aa3d6
gitDecoration.untrackedResourceForeground#41ad4e
icon.foreground#3f4750ab
inlineChat.background#ffffff
inlineChat.border#ceddf0
inlineChatInput.background#fdfdfe
inlineChatInput.border#ceddf0
inlineChatInput.focusBorder#a7c1e4
inlineEdit.gutterIndicator.background#3f475080
inlineEdit.gutterIndicator.primaryBackground#fdc64fb3
inlineEdit.gutterIndicator.primaryBorder#fdc64f00
inlineEdit.gutterIndicator.primaryForeground#000000
inlineEdit.gutterIndicator.secondaryBackground#727f8cb3
inlineEdit.gutterIndicator.secondaryBorder#727f8c00
inlineEdit.gutterIndicator.secondaryForeground#000000
inlineEdit.gutterIndicator.successfulBackground#83d18db3
inlineEdit.gutterIndicator.successfulBorder#83d18d00
inlineEdit.gutterIndicator.successfulForeground#000000
inlineEdit.modifiedBackground#41ad4e26
inlineEdit.modifiedBorder#41ad4ecc
inlineEdit.modifiedChangedLineBackground#41ad4e14
inlineEdit.modifiedChangedTextBackground#00000000
inlineEdit.originalBackground#ee5f5026
inlineEdit.originalBorder#ee5f50cc
inlineEdit.originalChangedLineBackground#ee5f50cc
inlineEdit.originalChangedTextBackground#00000000
inlineEdit.tabWillAcceptModifiedBorder#41ad4e
inlineEdit.tabWillAcceptOriginalBorder#ee5f50
input.background#fdfdfe
input.border#a7c1e4
input.foreground#272d34
input.placeholderForeground#7fa6d9
inputOption.activeBackground#7fa6d9
inputOption.activeBorder#00000000
inputOption.activeForeground#272d34
inputOption.hoverBackground#ceddf0
inputValidation.errorBackground#f9fbfe
inputValidation.errorBorder#e39c03
inputValidation.infoBackground#f9fbfe
inputValidation.infoBorder#444c54
inputValidation.warningBackground#f9fbfe
inputValidation.warningBorder#e39c03
keybindingLabel.background#f9fbfe
keybindingLabel.border#898989
keybindingLabel.bottomBorder#898989
keybindingLabel.foreground#3f4750
list.activeSelectionBackground#89898933
list.activeSelectionForeground#272d34
list.dropBackground#444c5415
list.errorForeground#ee5f50
list.focusBackground#444c5440
list.focusForeground#3f4750
list.highlightForeground#e39c03
list.hoverBackground#8989891a
list.hoverForeground#000000
list.inactiveSelectionBackground#8989891f
list.inactiveSelectionForeground#272d34
list.warningForeground#e3946a
menu.background#f9fbfe
menu.border#c2c8ce
menu.foreground#3f4750
menu.selectionForeground#3f4750
menu.separatorBackground#c2c8ce65
menubar.selectionBackground#f9fbfe
menubar.selectionForeground#3f4750
merge.border#c2c8ce
merge.commonContentBackground#e39c0330
merge.commonHeaderBackground#e39c0380
merge.currentContentBackground#41ad4e30
merge.currentHeaderBackground#41ad4e80
merge.incomingContentBackground#0aa3d630
merge.incomingHeaderBackground#0aa3d680
minimap.background#f5f8fc
minimap.errorHighlight#ee5f50
minimap.findMatchHighlight#444c54
minimap.selectionHighlight#444c54
minimap.selectionOccurrenceHighlight#444c54
minimap.warningHighlight#e3946a
minimapGutter.addedBackground#41ad4e
minimapGutter.deletedBackground#ee5f50
minimapGutter.modifiedBackground#0aa3d6
multiDiffEditor.border#c2c8ce
multiDiffEditor.headerBackground#e1eaf6
notificationCenterHeader.background#f9fbfe
notificationCenterHeader.foreground#272d34
notificationLink.foreground#e39c03
notifications.background#f9fbfe
notifications.border#c2c8ce
notifications.foreground#3f4750
notificationsErrorIcon.foreground#ee5f50
notificationsInfoIcon.foreground#0aa3d6
notificationsWarningIcon.foreground#e3946a
panel.background#f0f2f5
panel.border#c2c8ce
panel.dropBorder#89898980
panelInput.border#ceddf0
panelSection.border#c2c8ce
panelSectionHeader.background#e1e5eb
panelSectionHeader.border#c2c8ce
panelSectionHeader.foreground#272d34
panelTitle.activeBorder#444c54
panelTitle.activeForeground#444c54
panelTitle.inactiveForeground#898989
peekView.border#c2c8ce
peekViewEditor.background#ffffff
peekViewEditor.matchHighlightBackground#f9fbfe40
peekViewEditor.matchHighlightBorder#00000000
peekViewEditorGutter.background#ffffff
peekViewEditorStickyScroll.background#ffffff
peekViewResult.background#ffffff
peekViewResult.fileForeground#272d34
peekViewResult.lineForeground#3f4750
peekViewResult.matchHighlightBackground#444c5480
peekViewResult.selectionBackground#444c5433
peekViewResult.selectionForeground#272d34
peekViewTitle.background#ffffff
peekViewTitleDescription.foreground#272d34
peekViewTitleLabel.foreground#272d34
pickerGroup.border#c2c8ce
pickerGroup.foreground#272d34
profileBadge.background#444c54
profileBadge.foreground#f5f8fc
progressBar.background#e39c03
quickInput.background#ffffff
quickInput.foreground#3f4750
quickInputList.focusBackground#89898933
quickInputList.focusForeground#3f4750
quickInputList.focusIconForeground#272d34
quickInputTitle.background#EAECEE
sash.hoverBorder#444c5450
scmGraph.foreground1#0aa3d6
scmGraph.foreground2#f08ad9
scmGraph.foreground3#589f11
scmGraph.foreground4#00b696
scmGraph.foreground5#ed7b89
scmGraph.historyItemBaseRefColor#b377e3
scmGraph.historyItemHoverAdditionsForeground#41ad4e
scmGraph.historyItemHoverDefaultLabelBackground#3f4750
scmGraph.historyItemHoverDefaultLabelForeground#232323
scmGraph.historyItemHoverDeletionsForeground#ee5f50
scmGraph.historyItemHoverLabelForeground#232323
scmGraph.historyItemRefColor#e39c03
scmGraph.historyItemRemoteRefColor#0aa3d6
scrollbar.shadow#00000033
scrollbarSlider.activeBackground#272d344d
scrollbarSlider.background#272d3426
scrollbarSlider.hoverBackground#272d3433
selection.background#444c5461
settings.headerForeground#272d34
settings.modifiedItemIndicator#444c54
settings.settingsHeaderHoverForeground#272d34
sideBar.background#EAECEE
sideBar.border#c2c8ce
sideBar.foreground#3f4750cc
sideBarSectionHeader.background#EAECEE
sideBarSectionHeader.border#c2c8ce
sideBarSectionHeader.foreground#272d34
sideBarStickyScroll.background#e4e7e9
sideBarStickyScroll.shadow#00000033
sideBarTitle.foreground#898989
statusBar.background#f5f8fc
statusBar.border#c2c8ce
statusBar.debuggingBackground#cfd3d8
statusBar.debuggingForeground#20252a
statusBar.foreground#3f475080
statusBar.noFolderBackground#EAECEE
statusBar.noFolderBorder#c2c8ce
statusBar.noFolderForeground#3f4750cc
statusBarItem.activeBackground#f9fbfe
statusBarItem.compactHoverBackground#444c54cc
statusBarItem.errorBackground#ee5f50
statusBarItem.errorForeground#f5f8fc
statusBarItem.errorHoverBackground#f3897e
statusBarItem.errorHoverForeground#f5f8fc
statusBarItem.hoverBackground#bcc1c6
statusBarItem.hoverForeground#272d34
statusBarItem.offlineBackground#f08ad9
statusBarItem.offlineForeground#f5f8fc
statusBarItem.offlineHoverBackground#f6b7e8
statusBarItem.offlineHoverForeground#f5f8fc
statusBarItem.prominentBackground#f5f8fc
statusBarItem.prominentForeground#f5f8fc
statusBarItem.prominentHoverBackground#ffffff
statusBarItem.prominentHoverForeground#f5f8fc
statusBarItem.remoteBackground#00b696
statusBarItem.remoteForeground#f5f8fc
statusBarItem.remoteHoverBackground#00e9c0
statusBarItem.remoteHoverForeground#f5f8fc
statusBarItem.warningBackground#e3946a
statusBarItem.warningForeground#f5f8fc
statusBarItem.warningHoverBackground#ebb395
statusBarItem.warningHoverForeground#f5f8fc
tab.activeBackground#e2e5ea
tab.activeBorder#f5f8fc
tab.activeBorderTop#444c54
tab.activeForeground#272d34
tab.border#c2c8ce
tab.hoverBackground#f5f8fc
tab.inactiveBackground#EAECEE
tab.inactiveForeground#898989
tab.lastPinnedBorder#c2c8ce
tab.unfocusedActiveBorder#f5f8fc
tab.unfocusedActiveForeground#444c54
tab.unfocusedHoverBackground#f5f8fc
tab.unfocusedInactiveForeground#898989
terminal.ansiBlack#f5f8fc
terminal.ansiBlue#0aa3d6
terminal.ansiBrightBlack#b3bdcc
terminal.ansiBrightBlue#00a8e0
terminal.ansiBrightCyan#00b696
terminal.ansiBrightGreen#1dd133
terminal.ansiBrightMagenta#ff7be1
terminal.ansiBrightRed#ff513f
terminal.ansiBrightWhite#535f6e
terminal.ansiBrightYellow#e69d00
terminal.ansiCyan#00b696
terminal.ansiGreen#41ad4e
terminal.ansiMagenta#f08ad9
terminal.ansiRed#ee5f50
terminal.ansiWhite#272d34
terminal.ansiYellow#e39c03
terminal.background#f0f2f5
terminal.foreground#272d34
terminal.selectionForeground#272d34
terminalCursor.background#f5f8fc
terminalCursor.foreground#e39c03
terminalStickyScrollHover.background#ffffff
textBlockQuote.background#0aa3d633
textBlockQuote.border#0aa3d6b9
textCodeBlock.background#0aa3d633
textLink.activeForeground#0aa3d6
textLink.foreground#0aa3d6
textPreformat.background#f4c98e
textPreformat.foreground#4c3401
textSeparator.foreground#444c54
titleBar.activeBackground#ced3d7
titleBar.activeForeground#272d3499
titleBar.border#c2c8ce
titleBar.inactiveBackground#ced3d7
titleBar.inactiveForeground#272d3499
toolbar.activeBackground#89898980
toolbar.hoverBackground#8989894d
tree.indentGuidesStroke#89898970
walkThrough.embeddedEditorBackground#f5f8fc
welcomePage.progress.background#f9fbfe
welcomePage.progress.foreground#444c54
welcomePage.tileBackground#3f47501a
welcomePage.tileBorder#3f475033
welcomePage.tileHoverBackground#3f475033
widget.shadow#0000000d

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#554a75	italic
string	#AFEA7B	—
constant.numeric	#ffaa7d	—
comment.line	#554a75	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	#554a75	italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl	#857775	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}!`;
}