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#f69c9533
  • activityBar.activeBorder#f69c95
  • activityBar.background#281f1f
  • activityBar.border#1d1717
  • activityBar.dropBorder#5d424233
  • activityBar.foreground#f69c95
  • activityBar.inactiveForeground#674d4d
  • activityBarBadge.background#f69c95
  • activityBarBadge.foreground#281f1f
  • activityBarTop.activeBorder#f69c95
  • activityBarTop.dropBorder#5d424233
  • activityBarTop.foreground#f69c95
  • activityBarTop.inactiveForeground#6b5858
  • badge.background#f69c95
  • badge.foreground#281f1f
  • breadcrumb.background#2e2424
  • breadcrumbPicker.background#3c2f2f
  • button.background#f69c9580
  • button.border#ffffff26
  • button.foreground#fffdfc
  • button.hoverBackground#f69c9599
  • button.secondaryBackground#423434
  • button.secondaryForeground#d3b1b1cc
  • button.secondaryHoverBackground#4b3a3a
  • button.separator#ffffff4d
  • charts.blue#17d7d7
  • charts.foreground#d3b1b1
  • charts.green#69d293
  • charts.lines#d3b1b1
  • charts.orange#f69662
  • charts.purple#d995c9
  • charts.red#fb7a6c
  • charts.yellow#edbc7f
  • checkbox.foreground#d3b1b1
  • commandCenter.activeBackground#5d423d61
  • commandCenter.activeForeground#c3a7a78f
  • commandCenter.background#2e2424
  • commandCenter.border#1d1717
  • commandCenter.foreground#5d4242
  • contrastActiveBorder#00000000
  • contrastBorder#00000000
  • debugConsole.errorForeground#fb7a6c
  • debugConsole.infoForeground#4fc1e8
  • debugConsole.warningForeground#eea67f
  • debugExceptionWidget.background#5d423d
  • debugExceptionWidget.border#1d1717
  • debugIcon.breakpointCurrentStackframeForeground#fb7a6c
  • debugIcon.breakpointDisabledForeground#fb7a6c80
  • debugIcon.breakpointForeground#fb7a6c
  • debugIcon.continueForeground#4fc1e8
  • debugIcon.disconnectForeground#fb7a6c
  • debugIcon.pauseForeground#fb7a6c
  • debugIcon.restartForeground#74be7d
  • debugIcon.startForeground#74be7d
  • debugIcon.stepBackForeground#4fc1e8
  • debugIcon.stepIntoForeground#4fc1e8
  • debugIcon.stepOutForeground#4fc1e8
  • debugIcon.stepOverForeground#4fc1e8
  • debugIcon.stopForeground#fb7a6c
  • debugToolBar.background#3f2f2e
  • descriptionForeground#d3b1b180
  • diffEditor.border#1d1717
  • diffEditor.diagonalFill#3c2f2f
  • diffEditor.insertedLineBackground#65cd711a
  • diffEditor.insertedTextBackground#65cd711a
  • diffEditor.insertedTextBorder#00000000
  • diffEditor.move.border#edbc7f4d
  • diffEditor.moveActive.border#edbc7fb3
  • diffEditor.removedLineBackground#ff77681a
  • diffEditor.removedTextBackground#ff77681a
  • diffEditor.removedTextBorder#00000000
  • diffEditor.unchangedCodeBackground#251d1d
  • diffEditor.unchangedRegionBackground#251d1d
  • diffEditor.unchangedRegionShadow#00000066
  • diffEditorGutter.insertedLineBackground#00000000
  • diffEditorGutter.removedLineBackground#00000000
  • diffEditorOverview.insertedForeground#74be7d26
  • diffEditorOverview.removedForeground#fb7a6c30
  • disabledForeground#d3b1b14d
  • dropdown.background#352a2a
  • dropdown.border#554a4a
  • dropdown.foreground#d3b1b1
  • dropdown.listBackground#352a2a
  • editor.background#2e2424
  • editor.findMatchBackground#f69c9530
  • editor.findMatchBorder#f69c9561
  • editor.findMatchHighlightBackground#f69c953d
  • editor.findMatchHighlightBorder#f69c955c
  • editor.foldBackground#00000033
  • editor.foldPlaceholderForeground#5d4242
  • editor.foreground#d3b1b1
  • editor.hoverHighlightBackground#f69c954d
  • editor.inactiveSelectionBackground#f69c954d
  • editor.lineHighlightBackground#f69c950f
  • editor.lineHighlightBorder#f69c9526
  • editor.linkedEditingBackground#00eeee33
  • editor.rangeHighlightBackground#f69c953d
  • editor.selectionBackground#f69c954d
  • editor.selectionForeground#d3b1b1
  • editor.selectionHighlightBackground#f69c9514
  • editor.selectionHighlightBorder#f69c954d
  • editor.wordHighlightBackground#f69c9573
  • editor.wordHighlightBorder#f69c958a
  • editor.wordHighlightStrongBackground#f69c954d
  • editorBracketHighlight.foreground1#edbc7f
  • editorBracketHighlight.foreground2#d995c9
  • editorBracketHighlight.foreground3#17d7d7
  • editorBracketHighlight.foreground4#ad92ff
  • editorBracketHighlight.foreground5#17d7c4
  • editorBracketHighlight.foreground6#f08390
  • editorBracketHighlight.unexpectedBracket.foreground#fb7a6c
  • editorBracketMatch.background#f69c954d
  • editorBracketMatch.border#f69c9573
  • editorCodeLens.foreground#c3a7a780
  • editorCursor.background#f69c95
  • editorCursor.foreground#edbc7f
  • editorError.border#00000000
  • editorError.foreground#fb7a6c
  • editorGhostText.border#00000000
  • editorGhostText.foreground#d3b1b170
  • editorGroup.border#1d1717
  • editorGroup.dropBackground#f69c9514
  • editorGroupHeader.border#00000000
  • editorGroupHeader.noTabsBackground#2e2424
  • editorGroupHeader.tabsBackground#281f1f
  • editorGroupHeader.tabsBorder#1d1717
  • editorGutter.addedBackground#74be7dcc
  • editorGutter.background#2e2424
  • editorGutter.commentRangeForeground#5d423d
  • editorGutter.deletedBackground#fb7a6ccc
  • editorGutter.modifiedBackground#4fc1e8cc
  • editorHoverWidget.background#5d423d
  • editorHoverWidget.border#1d1717
  • editorIndentGuide.activeBackground1#5d4242e6
  • editorIndentGuide.background1#5d424266
  • editorInfo.border#00000000
  • editorInlayHint.background#c3a7a71a
  • editorInlayHint.foreground#c3a7a7b3
  • editorInlayHint.parameterBackground#c3a7a71a
  • editorInlayHint.parameterForeground#c3a7a7b3
  • editorInlayHint.typeBackground#c3a7a71a
  • editorInlayHint.typeForeground#c3a7a7b3
  • editorLineNumber.activeForeground#ad9e9e
  • editorLineNumber.foreground#574040
  • editorLink.activeForeground#d3b1b1
  • editorMarkerNavigation.background#281f1f
  • editorMarkerNavigationError.background#fb7a6c8f
  • editorMarkerNavigationInfo.background#4fc1e88f
  • editorMarkerNavigationWarning.background#eea67f8f
  • editorOverviewRuler.addedForeground#74be7d80
  • editorOverviewRuler.border#1d1717
  • editorOverviewRuler.deletedForeground#fb7a6c80
  • editorOverviewRuler.errorForeground#fb7a6c
  • editorOverviewRuler.incomingContentForeground#74be7d80
  • editorOverviewRuler.infoForeground#4fc1e880
  • editorOverviewRuler.modifiedForeground#4fc1e880
  • editorOverviewRuler.selectionHighlightForeground#f69c9580
  • editorOverviewRuler.warningForeground#eea67f
  • editorRuler.foreground#5d424233
  • editorStickyScroll.shadow#00000066
  • editorStickyScrollHover.background#372b2b
  • editorSuggestWidget.background#342828
  • editorSuggestWidget.border#1d1717
  • editorSuggestWidget.foreground#c3a7a7
  • editorSuggestWidget.highlightForeground#edbc7f
  • editorSuggestWidget.selectedBackground#4b3a3a
  • editorSuggestWidget.selectedIconForeground#d3b1b1
  • editorUnnecessaryCode.border#c3a7a799
  • editorUnnecessaryCode.opacity#000000aa
  • editorWarning.border#00000000
  • editorWarning.foreground#edbc7f
  • editorWhitespace.foreground#5d424260
  • editorWidget.background#5d423d
  • editorWidget.border#4b3a3a
  • editorWidget.resizeBorder#f69c9550
  • errorForeground#fb7a6c
  • errorLens.errorForeground#fb7a6cfc
  • errorLens.hintForeground#4fc1e8fc
  • errorLens.infoForeground#4fc1e8fc
  • errorLens.warningForeground#eea67ffc
  • extensionButton.background#f69c9580
  • extensionButton.foreground#fffdfc
  • extensionButton.hoverBackground#f69c9599
  • extensionButton.prominentBackground#f69c959d
  • extensionButton.prominentForeground#d3b1b1
  • extensionButton.prominentHoverBackground#f69c95
  • focusBorder#675151
  • foreground#c3a7a7
  • gitDecoration.conflictingResourceForeground#f69c95
  • gitDecoration.deletedResourceForeground#fb7a6c
  • gitDecoration.ignoredResourceForeground#5d4242
  • gitDecoration.modifiedResourceForeground#4fc1e8
  • gitDecoration.untrackedResourceForeground#74be7d
  • icon.foreground#c3a7a7ab
  • inlineChat.background#3c2f2f
  • inlineChat.border#4b3a3a
  • inlineChatInput.background#342828
  • inlineChatInput.border#4b3a3a
  • inlineChatInput.focusBorder#675151
  • inlineEdit.gutterIndicator.background#c3a7a780
  • inlineEdit.gutterIndicator.primaryBackground#e08d26b3
  • inlineEdit.gutterIndicator.primaryBorder#e08d26
  • inlineEdit.gutterIndicator.primaryForeground#000000
  • inlineEdit.gutterIndicator.secondaryBackground#ee4437b3
  • inlineEdit.gutterIndicator.secondaryBorder#ee4437
  • inlineEdit.gutterIndicator.secondaryForeground#000000
  • inlineEdit.gutterIndicator.successfulBackground#418b4ab3
  • inlineEdit.gutterIndicator.successfulBorder#418b4a
  • inlineEdit.gutterIndicator.successfulForeground#000000
  • inlineEdit.modifiedBackground#74be7d26
  • inlineEdit.modifiedBorder#74be7dcc
  • inlineEdit.modifiedChangedLineBackground#74be7d14
  • inlineEdit.modifiedChangedTextBackground#00000000
  • inlineEdit.originalBackground#fb7a6c26
  • inlineEdit.originalBorder#fb7a6ccc
  • inlineEdit.originalChangedLineBackground#fb7a6ccc
  • inlineEdit.originalChangedTextBackground#00000000
  • inlineEdit.tabWillAcceptModifiedBorder#74be7d
  • inlineEdit.tabWillAcceptOriginalBorder#fb7a6c
  • input.background#352a2a
  • input.border#554a4a
  • input.foreground#d3b1b1
  • input.placeholderForeground#7e6d6d
  • inputOption.activeBackground#846767
  • inputOption.activeBorder#00000000
  • inputOption.activeForeground#d3b1b1
  • inputOption.hoverBackground#4b3a3a
  • inputValidation.errorBackground#5d423d
  • inputValidation.errorBorder#edbc7f
  • inputValidation.infoBackground#5d423d
  • inputValidation.infoBorder#f69c95
  • inputValidation.warningBackground#5d423d
  • inputValidation.warningBorder#edbc7f
  • keybindingLabel.background#5d423d
  • keybindingLabel.border#8e7772
  • keybindingLabel.bottomBorder#8e7772
  • keybindingLabel.foreground#bbadab
  • list.activeSelectionBackground#7c585173
  • list.activeSelectionForeground#d3b1b1
  • list.dropBackground#f69c9515
  • list.errorForeground#fb7a6c
  • list.focusBackground#f69c9540
  • list.focusForeground#c3a7a7
  • list.highlightForeground#edbc7f
  • list.hoverBackground#7c58514d
  • list.hoverForeground#ffffff
  • list.inactiveSelectionBackground#7c585140
  • list.inactiveSelectionForeground#d3b1b1
  • list.warningForeground#eea67f
  • menu.background#5d423d
  • menu.border#1d1717
  • menu.foreground#d2c9c7
  • menu.selectionForeground#ffffff
  • menu.separatorBackground#1d171765
  • menubar.selectionBackground#5d423d
  • menubar.selectionForeground#c3a7a7
  • merge.border#1d1717
  • merge.commonContentBackground#edbc7f30
  • merge.commonHeaderBackground#edbc7f80
  • merge.currentContentBackground#74be7d30
  • merge.currentHeaderBackground#74be7d80
  • merge.incomingContentBackground#4fc1e830
  • merge.incomingHeaderBackground#4fc1e880
  • minimap.background#2e2424
  • minimap.errorHighlight#fb7a6c
  • minimap.findMatchHighlight#f69c95
  • minimap.selectionHighlight#f69c95
  • minimap.selectionOccurrenceHighlight#f69c95
  • minimap.warningHighlight#eea67f
  • minimapGutter.addedBackground#74be7d
  • minimapGutter.deletedBackground#fb7a6c
  • minimapGutter.modifiedBackground#4fc1e8
  • multiDiffEditor.border#1d1717
  • multiDiffEditor.headerBackground#3c2f2f
  • notificationCenterHeader.background#5d423d
  • notificationCenterHeader.foreground#d3b1b1
  • notificationLink.foreground#edbc7f
  • notifications.background#5d423d
  • notifications.border#1d1717
  • notifications.foreground#c3a7a7
  • notificationsErrorIcon.foreground#fb7a6c
  • notificationsInfoIcon.foreground#17d7d7
  • notificationsWarningIcon.foreground#f69662
  • panel.background#2b2121
  • panel.border#1d1717
  • panel.dropBorder#5d424280
  • panelInput.border#4b3a3a
  • panelSection.border#1d1717
  • panelSectionHeader.background#342828
  • panelSectionHeader.border#1d1717
  • panelSectionHeader.foreground#d3b1b1
  • panelTitle.activeBorder#f69c95
  • panelTitle.activeForeground#f69c95
  • panelTitle.inactiveForeground#5d4242
  • peekView.border#1d1717
  • peekViewEditor.background#392d2d
  • peekViewEditor.matchHighlightBackground#5d423d40
  • peekViewEditor.matchHighlightBorder#00000000
  • peekViewEditorGutter.background#392d2d
  • peekViewEditorStickyScroll.background#372b2b
  • peekViewResult.background#352a2a
  • peekViewResult.fileForeground#d3b1b1
  • peekViewResult.lineForeground#c3a7a7
  • peekViewResult.matchHighlightBackground#f69c9580
  • peekViewResult.selectionBackground#f69c9533
  • peekViewResult.selectionForeground#d3b1b1
  • peekViewTitle.background#3c2f2f
  • peekViewTitleDescription.foreground#d3b1b1
  • peekViewTitleLabel.foreground#d3b1b1
  • pickerGroup.border#1d1717
  • pickerGroup.foreground#d3b1b1
  • profileBadge.background#f69c95
  • profileBadge.foreground#2e2424
  • progressBar.background#edbc7f
  • quickInput.background#372b2b
  • quickInput.foreground#d3b1b1b3
  • quickInputList.focusBackground#9a6e6673
  • quickInputList.focusForeground#ffffff
  • quickInputList.focusIconForeground#d3b1b1
  • quickInputTitle.background#281f1f
  • sash.hoverBorder#f69c9550
  • scmGraph.foreground1#17d7d7
  • scmGraph.foreground2#d995c9
  • scmGraph.foreground3#77b03e
  • scmGraph.foreground4#17d7c4
  • scmGraph.foreground5#f08390
  • scmGraph.historyItemBaseRefColor#ad92ff
  • scmGraph.historyItemHoverAdditionsForeground#74be7d
  • scmGraph.historyItemHoverDefaultLabelBackground#c3a7a7
  • scmGraph.historyItemHoverDefaultLabelForeground#000000
  • scmGraph.historyItemHoverDeletionsForeground#fb7a6c
  • scmGraph.historyItemHoverLabelForeground#000000
  • scmGraph.historyItemRefColor#edbc7f
  • scmGraph.historyItemRemoteRefColor#17d7d7
  • scrollbar.shadow#00000066
  • scrollbarSlider.activeBackground#d3b1b14d
  • scrollbarSlider.background#d3b1b126
  • scrollbarSlider.hoverBackground#d3b1b133
  • selection.background#f69c9561
  • settings.headerForeground#d3b1b1
  • settings.modifiedItemIndicator#f69c95
  • settings.settingsHeaderHoverForeground#d3b1b1
  • sideBar.background#281f1f
  • sideBar.border#1d1717
  • sideBar.foreground#c3a7a7cc
  • sideBarSectionHeader.background#281f1f
  • sideBarSectionHeader.border#1d1717
  • sideBarSectionHeader.foreground#d3b1b1
  • sideBarStickyScroll.background#221b1b
  • sideBarStickyScroll.shadow#00000066
  • sideBarTitle.foreground#5d4242
  • statusBar.background#2e2424
  • statusBar.border#1d1717
  • statusBar.debuggingBackground#523a38
  • statusBar.debuggingForeground#e48b7f
  • statusBar.foreground#c3a7a780
  • statusBar.noFolderBackground#281f1f
  • statusBar.noFolderBorder#1d1717
  • statusBar.noFolderForeground#c3a7a7cc
  • statusBarItem.activeBackground#5d423d
  • statusBarItem.compactHoverBackground#f69c95cc
  • statusBarItem.errorBackground#fb7a6c
  • statusBarItem.errorForeground#650c03
  • statusBarItem.errorHoverBackground#fca79e
  • statusBarItem.errorHoverForeground#2e2424
  • statusBarItem.hoverBackground#644543
  • statusBarItem.hoverForeground#d3b1b1
  • statusBarItem.offlineBackground#d995c9
  • statusBarItem.offlineForeground#521d45
  • statusBarItem.offlineHoverBackground#e6bbdc
  • statusBarItem.offlineHoverForeground#2e2424
  • statusBarItem.prominentBackground#2e2424
  • statusBarItem.prominentForeground#000000
  • statusBarItem.prominentHoverBackground#4b3a3a
  • statusBarItem.prominentHoverForeground#2e2424
  • statusBarItem.remoteBackground#17d7c4
  • statusBarItem.remoteForeground#000000
  • statusBarItem.remoteHoverBackground#37ead8
  • statusBarItem.remoteHoverForeground#2e2424
  • statusBarItem.warningBackground#eea67f
  • statusBarItem.warningForeground#612a0d
  • statusBarItem.warningHoverBackground#f4c5ac
  • statusBarItem.warningHoverForeground#2e2424
  • tab.activeBackground#3f2f2e
  • tab.activeBorder#2e2424
  • tab.activeBorderTop#f69c95
  • tab.activeForeground#d3b1b1
  • tab.border#1d1717
  • tab.hoverBackground#2e2424
  • tab.inactiveBackground#281f1f
  • tab.inactiveForeground#5d4242
  • tab.lastPinnedBorder#1d1717
  • tab.unfocusedActiveBorder#2e2424
  • tab.unfocusedActiveForeground#f69c95
  • tab.unfocusedHoverBackground#2e2424
  • tab.unfocusedInactiveForeground#5d4242
  • terminal.ansiBlack#2e2424
  • terminal.ansiBlue#4fc1e8
  • terminal.ansiBrightBlack#654d4d
  • terminal.ansiBrightBlue#38ccff
  • terminal.ansiBrightCyan#00eed6
  • terminal.ansiBrightGreen#55dd66
  • terminal.ansiBrightMagenta#ef7fd4
  • terminal.ansiBrightRed#ff7768
  • terminal.ansiBrightWhite#f8f2f2
  • terminal.ansiBrightYellow#ffbe6d
  • terminal.ansiCyan#17d7c4
  • terminal.ansiGreen#74be7d
  • terminal.ansiMagenta#d995c9
  • terminal.ansiRed#fb7a6c
  • terminal.ansiWhite#d3b1b1
  • terminal.ansiYellow#edbc7f
  • terminal.background#2b2121
  • terminal.foreground#d3b1b1
  • terminal.selectionForeground#d3b1b1
  • terminalCursor.background#2e2424
  • terminalCursor.foreground#edbc7f
  • terminalStickyScrollHover.background#372b2b
  • textBlockQuote.background#4fc1e833
  • textBlockQuote.border#4fc1e8b9
  • textCodeBlock.background#4fc1e833
  • textLink.activeForeground#f69c95
  • textLink.foreground#f69c95
  • textPreformat.background#503f35
  • textPreformat.foreground#edbc7f
  • textSeparator.foreground#f69c95
  • titleBar.activeBackground#1f1818
  • titleBar.activeForeground#d3b1b166
  • titleBar.border#1d1717
  • titleBar.inactiveBackground#1f1818
  • titleBar.inactiveForeground#5d4242
  • toolbar.activeBackground#5d424280
  • toolbar.hoverBackground#5d42424d
  • tree.indentGuidesStroke#5d424270
  • walkThrough.embeddedEditorBackground#2e2424
  • welcomePage.progress.background#5d423d
  • welcomePage.progress.foreground#f69c95
  • welcomePage.tileBackground#c3a7a71a
  • welcomePage.tileBorder#c3a7a733
  • welcomePage.tileHoverBackground#c3a7a733
  • widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scopeforegroundfontStyle
comment, punctuation.definition.comment#5d4242italic
string#AFEA7B
constant.numeric#ffaa7d
comment.line#5d4242italic
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#5d4242italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl#8b7152italic
keyword.control.krl#bc98ffbold
keyword.function.movement.krl#7fd7f5bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl#F5DF76italic
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.

Loading...