Skip to main content
Coding Theme

KUKA KRL Extension

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.

Loading...

colors

Workbench UI color keys from the theme JSON colors map.

  • activityBar.activeBackground#47cfc426
  • activityBar.activeBorder#47cfc4
  • activityBar.background#102128
  • activityBar.border#070f12
  • activityBar.dropBorder#356c8233
  • activityBar.foreground#47cfc4
  • activityBar.inactiveForeground#3f5661
  • activityBarBadge.background#47cfc4
  • activityBarBadge.foreground#102128
  • activityBarTop.activeBorder#47cfc4
  • activityBarTop.dropBorder#356c8233
  • activityBarTop.foreground#47cfc4
  • activityBarTop.inactiveForeground#3b4c54
  • badge.background#47cfc4
  • badge.foreground#102128
  • breadcrumb.background#0d1a20
  • breadcrumbPicker.background#142932
  • button.background#47cfc480
  • button.border#ffffff26
  • button.foreground#a0e6e1
  • button.hoverBackground#47cfc499
  • button.secondaryBackground#172f39
  • button.secondaryForeground#bad7e3cc
  • button.secondaryHoverBackground#1c3744
  • button.separator#ffffff4d
  • charts.blue#4db0f7
  • charts.foreground#bad7e3
  • charts.green#a5b82e
  • charts.lines#bad7e3
  • charts.orange#e8913b
  • charts.purple#df96d9
  • charts.red#f45645
  • charts.yellow#e2ae10
  • checkbox.foreground#bad7e3
  • commandCenter.activeBackground#17303a61
  • commandCenter.activeForeground#96c2d48f
  • commandCenter.background#0d1a20
  • commandCenter.border#070f12
  • commandCenter.foreground#356c82
  • contrastActiveBorder#00000000
  • contrastBorder#00000000
  • debugConsole.errorForeground#f45645
  • debugConsole.infoForeground#4db0f7
  • debugConsole.warningForeground#e2ae10
  • debugExceptionWidget.background#17303a
  • debugExceptionWidget.border#070f12
  • debugIcon.breakpointCurrentStackframeForeground#f45645
  • debugIcon.breakpointDisabledForeground#f4564580
  • debugIcon.breakpointForeground#f45645
  • debugIcon.continueForeground#4db0f7
  • debugIcon.disconnectForeground#f45645
  • debugIcon.pauseForeground#f45645
  • debugIcon.restartForeground#a5b82e
  • debugIcon.startForeground#a5b82e
  • debugIcon.stepBackForeground#4db0f7
  • debugIcon.stepIntoForeground#4db0f7
  • debugIcon.stepOutForeground#4db0f7
  • debugIcon.stepOverForeground#4db0f7
  • debugIcon.stopForeground#f45645
  • debugToolBar.background#13292e
  • descriptionForeground#bad7e380
  • diffEditor.border#070f12
  • diffEditor.diagonalFill#142932
  • diffEditor.insertedLineBackground#b1c91d1a
  • diffEditor.insertedTextBackground#b1c91d1a
  • diffEditor.insertedTextBorder#00000000
  • diffEditor.move.border#e2ae104d
  • diffEditor.moveActive.border#e2ae10b3
  • diffEditor.removedLineBackground#ff4d3a1a
  • diffEditor.removedTextBackground#ff4d3a1a
  • diffEditor.removedTextBorder#00000000
  • diffEditor.unchangedCodeBackground#0f1e24
  • diffEditor.unchangedRegionBackground#0f1e24
  • diffEditor.unchangedRegionShadow#00000066
  • diffEditorGutter.insertedLineBackground#00000000
  • diffEditorGutter.removedLineBackground#00000000
  • diffEditorOverview.insertedForeground#a5b82e26
  • diffEditorOverview.removedForeground#f4564530
  • disabledForeground#bad7e34d
  • dropdown.background#112129
  • dropdown.border#264553
  • dropdown.foreground#bad7e3
  • dropdown.listBackground#112129
  • editor.background#0d1a20
  • editor.findMatchBackground#47cfc430
  • editor.findMatchBorder#47cfc461
  • editor.findMatchHighlightBackground#47cfc43d
  • editor.findMatchHighlightBorder#47cfc45c
  • editor.foldBackground#00000033
  • editor.foldPlaceholderForeground#356c82
  • editor.foreground#bad7e3
  • editor.hoverHighlightBackground#47cfc44d
  • editor.inactiveSelectionBackground#47cfc44d
  • editor.lineHighlightBackground#47cfc40f
  • editor.lineHighlightBorder#47cfc426
  • editor.linkedEditingBackground#45b1ff33
  • editor.rangeHighlightBackground#47cfc43d
  • editor.selectionBackground#47cfc44d
  • editor.selectionForeground#bad7e3
  • editor.selectionHighlightBackground#47cfc414
  • editor.selectionHighlightBorder#47cfc44d
  • editor.wordHighlightBackground#47cfc473
  • editor.wordHighlightBorder#47cfc48a
  • editor.wordHighlightStrongBackground#47cfc44d
  • editorBracketHighlight.foreground1#e2ae10
  • editorBracketHighlight.foreground2#df96d9
  • editorBracketHighlight.foreground3#4db0f7
  • editorBracketHighlight.foreground4#858bf7
  • editorBracketHighlight.foreground5#26bbae
  • editorBracketHighlight.foreground6#f154a0
  • editorBracketHighlight.unexpectedBracket.foreground#f45645
  • editorBracketMatch.background#47cfc44d
  • editorBracketMatch.border#47cfc473
  • editorCodeLens.foreground#96c2d480
  • editorCursor.background#47cfc4
  • editorCursor.foreground#e2ae10
  • editorError.border#00000000
  • editorError.foreground#f45645
  • editorGhostText.border#00000000
  • editorGhostText.foreground#bad7e370
  • editorGroup.border#070f12
  • editorGroup.dropBackground#47cfc414
  • editorGroupHeader.border#00000000
  • editorGroupHeader.noTabsBackground#0d1a20
  • editorGroupHeader.tabsBackground#102128
  • editorGroupHeader.tabsBorder#070f12
  • editorGutter.addedBackground#a5b82ecc
  • editorGutter.background#0d1a20
  • editorGutter.commentRangeForeground#17303a
  • editorGutter.deletedBackground#f45645cc
  • editorGutter.modifiedBackground#4db0f7cc
  • editorHoverWidget.background#17303a
  • editorHoverWidget.border#070f12
  • editorIndentGuide.activeBackground1#356c82cc
  • editorIndentGuide.background1#356c8233
  • editorInfo.border#00000000
  • editorInlayHint.background#96c2d41a
  • editorInlayHint.foreground#96c2d4b3
  • editorInlayHint.parameterBackground#96c2d41a
  • editorInlayHint.parameterForeground#96c2d4b3
  • editorInlayHint.typeBackground#96c2d41a
  • editorInlayHint.typeForeground#96c2d4b3
  • editorLineNumber.activeForeground#74a5be
  • editorLineNumber.foreground#30444e
  • editorLink.activeForeground#bad7e3
  • editorMarkerNavigation.background#102128
  • editorMarkerNavigationError.background#f456458f
  • editorMarkerNavigationInfo.background#4db0f78f
  • editorMarkerNavigationWarning.background#e2ae108f
  • editorOverviewRuler.addedForeground#a5b82e80
  • editorOverviewRuler.border#070f12
  • editorOverviewRuler.deletedForeground#f4564580
  • editorOverviewRuler.errorForeground#f45645
  • editorOverviewRuler.incomingContentForeground#a5b82e80
  • editorOverviewRuler.infoForeground#4db0f780
  • editorOverviewRuler.modifiedForeground#4db0f780
  • editorOverviewRuler.selectionHighlightForeground#47cfc480
  • editorOverviewRuler.warningForeground#e2ae10
  • editorRuler.foreground#356c8233
  • editorStickyScroll.shadow#00000066
  • editorStickyScrollHover.background#11232b
  • editorSuggestWidget.background#102027
  • editorSuggestWidget.border#070f12
  • editorSuggestWidget.foreground#96c2d4
  • editorSuggestWidget.highlightForeground#e2ae10
  • editorSuggestWidget.selectedBackground#1c3744
  • editorSuggestWidget.selectedIconForeground#bad7e3
  • editorUnnecessaryCode.border#00000000
  • editorUnnecessaryCode.opacity#000000aa
  • editorWarning.border#00000000
  • editorWarning.foreground#e2ae10
  • editorWhitespace.foreground#356c8260
  • editorWidget.background#17303a
  • editorWidget.border#1c3744
  • editorWidget.resizeBorder#47cfc450
  • errorForeground#f45645
  • errorLens.errorForeground#f45645fc
  • errorLens.hintForeground#4db0f7fc
  • errorLens.infoForeground#4db0f7fc
  • errorLens.warningForeground#e2ae10fc
  • extensionButton.background#47cfc480
  • extensionButton.foreground#a0e6e1
  • extensionButton.hoverBackground#47cfc499
  • extensionButton.prominentBackground#47cfc49d
  • extensionButton.prominentForeground#bad7e3
  • extensionButton.prominentHoverBackground#47cfc4
  • focusBorder#2a5569
  • foreground#96c2d4
  • gitDecoration.conflictingResourceForeground#47cfc4
  • gitDecoration.deletedResourceForeground#f45645
  • gitDecoration.ignoredResourceForeground#356c82
  • gitDecoration.modifiedResourceForeground#4db0f7
  • gitDecoration.untrackedResourceForeground#a5b82e
  • icon.foreground#96c2d4ab
  • inlineChat.background#142932
  • inlineChat.border#1c3744
  • inlineChatInput.background#102027
  • inlineChatInput.border#1c3744
  • inlineChatInput.focusBorder#2a5569
  • inlineEdit.gutterIndicator.background#96c2d480
  • inlineEdit.gutterIndicator.primaryBackground#836509b3
  • inlineEdit.gutterIndicator.primaryBorder#836509
  • inlineEdit.gutterIndicator.primaryForeground#010304
  • inlineEdit.gutterIndicator.secondaryBackground#248c83b3
  • inlineEdit.gutterIndicator.secondaryBorder#248c83
  • inlineEdit.gutterIndicator.secondaryForeground#000000
  • inlineEdit.gutterIndicator.successfulBackground#5c661ab3
  • inlineEdit.gutterIndicator.successfulBorder#5c661a
  • inlineEdit.gutterIndicator.successfulForeground#000000
  • inlineEdit.modifiedBackground#a5b82e26
  • inlineEdit.modifiedBorder#a5b82ecc
  • inlineEdit.modifiedChangedLineBackground#a5b82e14
  • inlineEdit.modifiedChangedTextBackground#00000000
  • inlineEdit.originalBackground#f4564526
  • inlineEdit.originalBorder#f45645cc
  • inlineEdit.originalChangedLineBackground#f45645cc
  • inlineEdit.originalChangedTextBackground#00000000
  • inlineEdit.tabWillAcceptModifiedBorder#a5b82e
  • inlineEdit.tabWillAcceptOriginalBorder#f45645
  • input.background#112129
  • input.border#264553
  • input.foreground#bad7e3
  • input.placeholderForeground#3e7188
  • inputOption.activeBackground#39728d
  • inputOption.activeBorder#00000000
  • inputOption.activeForeground#bad7e3
  • inputOption.hoverBackground#1c3744
  • inputValidation.errorBackground#17303a
  • inputValidation.errorBorder#e2ae10
  • inputValidation.infoBackground#17303a
  • inputValidation.infoBorder#47cfc4
  • inputValidation.warningBackground#17303a
  • inputValidation.warningBorder#e2ae10
  • keybindingLabel.background#17303a
  • keybindingLabel.border#3d697a
  • keybindingLabel.bottomBorder#3d697a
  • keybindingLabel.foreground#699fb4
  • list.activeSelectionBackground#254e5f73
  • list.activeSelectionForeground#bad7e3
  • list.dropBackground#47cfc415
  • list.errorForeground#f45645
  • list.focusBackground#47cfc440
  • list.focusForeground#96c2d4
  • list.highlightForeground#e2ae10
  • list.hoverBackground#254e5f4d
  • list.hoverForeground#f1f6f8
  • list.inactiveSelectionBackground#254e5f40
  • list.inactiveSelectionForeground#bad7e3
  • list.warningForeground#e2ae10
  • menu.background#17303a
  • menu.border#070f12
  • menu.foreground#8bb4c5
  • menu.selectionForeground#f1f6f8
  • menu.separatorBackground#070f1265
  • menubar.selectionBackground#17303a
  • menubar.selectionForeground#96c2d4
  • merge.border#070f12
  • merge.commonContentBackground#e2ae1030
  • merge.commonHeaderBackground#e2ae1080
  • merge.currentContentBackground#a5b82e30
  • merge.currentHeaderBackground#a5b82e80
  • merge.incomingContentBackground#4db0f730
  • merge.incomingHeaderBackground#4db0f780
  • minimap.background#0d1a20
  • minimap.errorHighlight#f45645
  • minimap.findMatchHighlight#47cfc4
  • minimap.selectionHighlight#47cfc4
  • minimap.selectionOccurrenceHighlight#47cfc4
  • minimap.warningHighlight#e2ae10
  • minimapGutter.addedBackground#a5b82e
  • minimapGutter.deletedBackground#f45645
  • minimapGutter.modifiedBackground#4db0f7
  • multiDiffEditor.border#070f12
  • multiDiffEditor.headerBackground#142932
  • notificationCenterHeader.background#17303a
  • notificationCenterHeader.foreground#bad7e3
  • notificationLink.foreground#e2ae10
  • notifications.background#17303a
  • notifications.border#070f12
  • notifications.foreground#96c2d4
  • notificationsErrorIcon.foreground#f45645
  • notificationsInfoIcon.foreground#4db0f7
  • notificationsWarningIcon.foreground#e8913b
  • panel.background#0f1d24
  • panel.border#070f12
  • panel.dropBorder#356c8280
  • panelInput.border#1c3744
  • panelSection.border#070f12
  • panelSectionHeader.background#13262f
  • panelSectionHeader.border#070f12
  • panelSectionHeader.foreground#bad7e3
  • panelTitle.activeBorder#47cfc4
  • panelTitle.activeForeground#47cfc4
  • panelTitle.inactiveForeground#356c82
  • peekView.border#070f12
  • peekViewEditor.background#13262f
  • peekViewEditor.matchHighlightBackground#17303a40
  • peekViewEditor.matchHighlightBorder#00000000
  • peekViewEditorGutter.background#13262f
  • peekViewEditorStickyScroll.background#11232b
  • peekViewResult.background#112129
  • peekViewResult.fileForeground#bad7e3
  • peekViewResult.lineForeground#96c2d4
  • peekViewResult.matchHighlightBackground#47cfc480
  • peekViewResult.selectionBackground#47cfc433
  • peekViewResult.selectionForeground#bad7e3
  • peekViewTitle.background#142932
  • peekViewTitleDescription.foreground#bad7e3
  • peekViewTitleLabel.foreground#bad7e3
  • pickerGroup.border#070f12
  • pickerGroup.foreground#bad7e3
  • profileBadge.background#47cfc4
  • profileBadge.foreground#0d1a20
  • progressBar.background#e2ae10
  • quickInput.background#11232b
  • quickInput.foreground#bad7e3b3
  • quickInputList.focusBackground#346c8373
  • quickInputList.focusForeground#f1f6f8
  • quickInputList.focusIconForeground#bad7e3
  • quickInputTitle.background#102128
  • sash.hoverBorder#47cfc450
  • scmGraph.foreground1#4db0f7
  • scmGraph.foreground2#df96d9
  • scmGraph.foreground3#97e24c
  • scmGraph.foreground4#26bbae
  • scmGraph.foreground5#f154a0
  • scmGraph.historyItemBaseRefColor#858bf7
  • scmGraph.historyItemHoverAdditionsForeground#a5b82e
  • scmGraph.historyItemHoverDefaultLabelBackground#96c2d4
  • scmGraph.historyItemHoverDefaultLabelForeground#000000
  • scmGraph.historyItemHoverDeletionsForeground#f45645
  • scmGraph.historyItemHoverLabelForeground#000000
  • scmGraph.historyItemRefColor#e2ae10
  • scmGraph.historyItemRemoteRefColor#4db0f7
  • scrollbar.shadow#00000066
  • scrollbarSlider.activeBackground#bad7e34d
  • scrollbarSlider.background#bad7e326
  • scrollbarSlider.hoverBackground#bad7e333
  • selection.background#47cfc461
  • settings.headerForeground#bad7e3
  • settings.modifiedItemIndicator#47cfc4
  • settings.settingsHeaderHoverForeground#bad7e3
  • sideBar.background#102128
  • sideBar.border#070f12
  • sideBar.foreground#96c2d4cc
  • sideBarSectionHeader.background#102128
  • sideBarSectionHeader.border#070f12
  • sideBarSectionHeader.foreground#bad7e3
  • sideBarStickyScroll.background#0d1b21
  • sideBarStickyScroll.shadow#00000066
  • sideBarTitle.foreground#356c82
  • statusBar.background#0d1a20
  • statusBar.border#070f12
  • statusBar.debuggingBackground#19393d
  • statusBar.debuggingForeground#84b9bb
  • statusBar.foreground#96c2d480
  • statusBar.noFolderBackground#102128
  • statusBar.noFolderBorder#070f12
  • statusBar.noFolderForeground#96c2d4cc
  • statusBarItem.activeBackground#17303a
  • statusBarItem.compactHoverBackground#47cfc4cc
  • statusBarItem.errorBackground#f45645
  • statusBarItem.errorForeground#370803
  • statusBarItem.errorHoverBackground#f78275
  • statusBarItem.errorHoverForeground#0d1a20
  • statusBarItem.hoverBackground#1f4a4c
  • statusBarItem.hoverForeground#bad7e3
  • statusBarItem.offlineBackground#df96d9
  • statusBarItem.offlineForeground#5a1c55
  • statusBarItem.offlineHoverBackground#ebbde7
  • statusBarItem.offlineHoverForeground#0d1a20
  • statusBarItem.prominentBackground#0d1a20
  • statusBarItem.prominentForeground#000000
  • statusBarItem.prominentHoverBackground#1c3744
  • statusBarItem.prominentHoverForeground#0d1a20
  • statusBarItem.remoteBackground#26bbae
  • statusBarItem.remoteForeground#000000
  • statusBarItem.remoteHoverBackground#3dd7ca
  • statusBarItem.remoteHoverForeground#0d1a20
  • statusBarItem.warningBackground#e2ae10
  • statusBarItem.warningForeground#000000
  • statusBarItem.warningHoverBackground#f1c234
  • statusBarItem.warningHoverForeground#0d1a20
  • tab.activeBackground#0d1a20
  • tab.activeBorder#0d1a20
  • tab.activeBorderTop#47cfc4
  • tab.activeForeground#bad7e3
  • tab.border#070f12
  • tab.hoverBackground#0d1a20
  • tab.inactiveBackground#102128
  • tab.inactiveForeground#356c82
  • tab.lastPinnedBorder#070f12
  • tab.unfocusedActiveBorder#0d1a20
  • tab.unfocusedActiveForeground#47cfc4
  • tab.unfocusedHoverBackground#0d1a20
  • tab.unfocusedInactiveForeground#356c82
  • terminal.ansiBlack#0d1a20
  • terminal.ansiBlue#4db0f7
  • terminal.ansiBrightBlack#2d576c
  • terminal.ansiBrightBlue#45b1ff
  • terminal.ansiBrightCyan#04ddca
  • terminal.ansiBrightGreen#bedb0c
  • terminal.ansiBrightMagenta#f481ea
  • terminal.ansiBrightRed#ff4d3a
  • terminal.ansiBrightWhite#ffffff
  • terminal.ansiBrightYellow#f2b600
  • terminal.ansiCyan#26bbae
  • terminal.ansiGreen#a5b82e
  • terminal.ansiMagenta#df96d9
  • terminal.ansiRed#f45645
  • terminal.ansiWhite#bad7e3
  • terminal.ansiYellow#e2ae10
  • terminal.background#0f1d24
  • terminal.foreground#bad7e3
  • terminal.selectionForeground#bad7e3
  • terminalCursor.background#0d1a20
  • terminalCursor.foreground#e2ae10
  • terminalStickyScrollHover.background#11232b
  • textBlockQuote.background#4db0f733
  • textBlockQuote.border#4db0f7b9
  • textCodeBlock.background#4db0f733
  • textLink.activeForeground#47cfc4
  • textLink.foreground#47cfc4
  • textPreformat.background#363425
  • textPreformat.foreground#e2ae10
  • textSeparator.foreground#47cfc4
  • titleBar.activeBackground#0c181d
  • titleBar.activeForeground#bad7e366
  • titleBar.border#070f12
  • titleBar.inactiveBackground#0c181d
  • titleBar.inactiveForeground#356c82
  • toolbar.activeBackground#356c8280
  • toolbar.hoverBackground#356c824d
  • tree.indentGuidesStroke#356c8270
  • walkThrough.embeddedEditorBackground#0d1a20
  • welcomePage.progress.background#17303a
  • welcomePage.progress.foreground#47cfc4
  • welcomePage.tileBackground#96c2d41a
  • welcomePage.tileBorder#96c2d433
  • welcomePage.tileHoverBackground#96c2d433
  • widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scopeforegroundfontStyle
comment, punctuation.definition.comment#4d6b79
string#a5b82e
constant.numeric#e8913b
constant.language, constant.other#f45645
keyword.operator#96c2d4
storage.type, storage.modifier#26bbae
support.function#4db0f7
comment punctuation#4d6b79
comment.line#4d6b79italic
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#4d6b79italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl#418389italic
keyword.control.krl#df96d9bold
keyword.function.movement.krl#4db0f7bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl#26bbaeitalic
variable.language.system.krl#f45645
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl#e8913b
string.quoted.double.krl#a5b82e
variable.function.krl#4db0f7
constant.language.enum.krl, variable.other.enummember.krl#f45645
support.function.builtin.krl#4db0f7
keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl#96c2d4

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

Loading...

KUKA KRL Extension - Coding Theme