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#2a9b7d33
  • activityBar.activeBorder#2a9b7d
  • activityBar.background#e2ece4
  • activityBar.border#bfd4c3
  • activityBar.dropBorder#67787333
  • activityBar.foreground#2a9b7d
  • activityBar.inactiveForeground#8e9c90
  • activityBarBadge.background#2a9b7d
  • activityBarBadge.foreground#e2ece4
  • activityBarTop.activeBorder#2a9b7d
  • activityBarTop.dropBorder#67787333
  • activityBarTop.foreground#2a9b7d
  • activityBarTop.inactiveForeground#878a87
  • badge.background#2a9b7d
  • badge.foreground#e2ece4
  • breadcrumb.background#edf3ee
  • breadcrumbPicker.background#fcfdfc
  • button.background#2a9b7d80
  • button.border#00000026
  • button.foreground#000000
  • button.hoverBackground#2a9b7d99
  • button.secondaryBackground#d8e5da
  • button.secondaryForeground#000000
  • button.secondaryHoverBackground#cedfd1
  • button.separator#0000004d
  • charts.blue#0076c5
  • charts.foreground#000000
  • charts.green#008b17
  • charts.lines#000000
  • charts.orange#b96000
  • charts.purple#c121a4
  • charts.red#d12525
  • charts.yellow#c08403
  • checkbox.foreground#000000
  • commandCenter.activeBackground#f3f7f461
  • commandCenter.activeForeground#0000008f
  • commandCenter.background#edf3ee
  • commandCenter.border#bfd4c3
  • commandCenter.foreground#677873
  • contrastActiveBorder#00000000
  • contrastBorder#00000000
  • debugConsole.errorForeground#d12525
  • debugConsole.infoForeground#0076c5
  • debugConsole.warningForeground#c08403
  • debugExceptionWidget.background#f3f7f4
  • debugExceptionWidget.border#bfd4c3
  • debugIcon.breakpointCurrentStackframeForeground#d12525
  • debugIcon.breakpointDisabledForeground#d1252580
  • debugIcon.breakpointForeground#d12525
  • debugIcon.continueForeground#0076c5
  • debugIcon.disconnectForeground#d12525
  • debugIcon.pauseForeground#d12525
  • debugIcon.restartForeground#008b17
  • debugIcon.startForeground#008b17
  • debugIcon.stepBackForeground#0076c5
  • debugIcon.stepIntoForeground#0076c5
  • debugIcon.stepOutForeground#0076c5
  • debugIcon.stepOverForeground#0076c5
  • debugIcon.stopForeground#d12525
  • debugToolBar.background#dbeae2
  • descriptionForeground#000000cc
  • diffEditor.border#bfd4c3
  • diffEditor.diagonalFill#fcfdfc
  • diffEditor.insertedLineBackground#008b171a
  • diffEditor.insertedTextBackground#008b171a
  • diffEditor.insertedTextBorder#00000000
  • diffEditor.move.border#c084034d
  • diffEditor.moveActive.border#c08403b3
  • diffEditor.removedLineBackground#e313131a
  • diffEditor.removedTextBackground#e313131a
  • diffEditor.removedTextBorder#00000000
  • diffEditor.unchangedCodeBackground#dfeae1
  • diffEditor.unchangedRegionBackground#dfeae1
  • diffEditor.unchangedRegionShadow#00000033
  • diffEditorGutter.insertedLineBackground#00000000
  • diffEditorGutter.removedLineBackground#00000000
  • diffEditorOverview.insertedForeground#008b1726
  • diffEditorOverview.removedForeground#d1252530
  • disabledForeground#0000004d
  • dropdown.background#f3f7f4
  • dropdown.border#b0cab4
  • dropdown.foreground#000000
  • dropdown.listBackground#f3f7f4
  • editor.background#edf3ee
  • editor.findMatchBackground#2a9b7d30
  • editor.findMatchBorder#2a9b7d61
  • editor.findMatchHighlightBackground#2a9b7d3d
  • editor.findMatchHighlightBorder#2a9b7d5c
  • editor.foldBackground#0000000d
  • editor.foldPlaceholderForeground#677873
  • editor.foreground#000000
  • editor.hoverHighlightBackground#2a9b7d4d
  • editor.inactiveSelectionBackground#2a9b7d4d
  • editor.lineHighlightBackground#2a9b7d0f
  • editor.lineHighlightBorder#2a9b7d26
  • editor.linkedEditingBackground#0076c533
  • editor.rangeHighlightBackground#2a9b7d3d
  • editor.selectionBackground#2a9b7d4d
  • editor.selectionForeground#000000
  • editor.selectionHighlightBackground#2a9b7d14
  • editor.selectionHighlightBorder#2a9b7d4d
  • editor.wordHighlightBackground#2a9b7d1f
  • editor.wordHighlightBorder#2a9b7d3d
  • editor.wordHighlightStrongBackground#2a9b7d3d
  • editorBracketHighlight.foreground1#c08403
  • editorBracketHighlight.foreground2#c121a4
  • editorBracketHighlight.foreground3#0076c5
  • editorBracketHighlight.foreground4#7522d3
  • editorBracketHighlight.foreground5#008f8f
  • editorBracketHighlight.foreground6#da2a5f
  • editorBracketHighlight.unexpectedBracket.foreground#d12525
  • editorBracketMatch.background#2a9b7d4d
  • editorBracketMatch.border#2a9b7d73
  • editorCodeLens.foreground#00000080
  • editorCursor.background#2a9b7d
  • editorCursor.foreground#c08403
  • editorError.border#00000000
  • editorError.foreground#d12525
  • editorGhostText.border#00000000
  • editorGhostText.foreground#00000070
  • editorGroup.border#bfd4c3
  • editorGroup.dropBackground#2a9b7d14
  • editorGroupHeader.border#00000000
  • editorGroupHeader.noTabsBackground#edf3ee
  • editorGroupHeader.tabsBackground#e2ece4
  • editorGroupHeader.tabsBorder#bfd4c3
  • editorGutter.addedBackground#008b17cc
  • editorGutter.background#edf3ee
  • editorGutter.commentRangeForeground#f3f7f4
  • editorGutter.deletedBackground#d12525cc
  • editorGutter.modifiedBackground#0076c5cc
  • editorHoverWidget.background#f3f7f4
  • editorHoverWidget.border#bfd4c3
  • editorIndentGuide.activeBackground1#677873e6
  • editorIndentGuide.background1#67787366
  • editorInfo.border#00000000
  • editorInlayHint.background#0000001a
  • editorInlayHint.foreground#000000b3
  • editorInlayHint.parameterBackground#0000001a
  • editorInlayHint.parameterForeground#000000b3
  • editorInlayHint.typeBackground#0000001a
  • editorInlayHint.typeForeground#000000b3
  • editorLineNumber.activeForeground#314a35
  • editorLineNumber.foreground#a8b4aa
  • editorLink.activeForeground#000000
  • editorMarkerNavigation.background#e2ece4
  • editorMarkerNavigationError.background#d125258f
  • editorMarkerNavigationInfo.background#0076c58f
  • editorMarkerNavigationWarning.background#c084038f
  • editorOverviewRuler.addedForeground#008b1780
  • editorOverviewRuler.border#bfd4c3
  • editorOverviewRuler.deletedForeground#d1252580
  • editorOverviewRuler.errorForeground#d12525
  • editorOverviewRuler.incomingContentForeground#008b1780
  • editorOverviewRuler.infoForeground#0076c580
  • editorOverviewRuler.modifiedForeground#0076c580
  • editorOverviewRuler.selectionHighlightForeground#2a9b7d80
  • editorOverviewRuler.warningForeground#c08403
  • editorRuler.foreground#67787333
  • editorStickyScroll.shadow#00000033
  • editorStickyScrollHover.background#f6f9f7
  • editorSuggestWidget.background#f3f7f4
  • editorSuggestWidget.border#bfd4c3
  • editorSuggestWidget.foreground#000000
  • editorSuggestWidget.highlightForeground#c08403
  • editorSuggestWidget.selectedBackground#dee9e0
  • editorSuggestWidget.selectedIconForeground#000000
  • editorUnnecessaryCode.border#00000099
  • editorUnnecessaryCode.opacity#000000aa
  • editorWarning.border#00000000
  • editorWarning.foreground#c08403
  • editorWhitespace.foreground#67787360
  • editorWidget.background#f3f7f4
  • editorWidget.border#cedfd1
  • editorWidget.resizeBorder#2a9b7d50
  • errorForeground#d12525
  • errorLens.errorForeground#d12525fc
  • errorLens.hintForeground#0076c5fc
  • errorLens.infoForeground#0076c5fc
  • errorLens.warningForeground#c08403fc
  • extensionButton.background#2a9b7d80
  • extensionButton.foreground#000000
  • extensionButton.hoverBackground#2a9b7d99
  • extensionButton.prominentBackground#2a9b7d9d
  • extensionButton.prominentForeground#000000
  • extensionButton.prominentHoverBackground#2a9b7d
  • focusBorder#b0cab4
  • foreground#000000
  • gitDecoration.conflictingResourceForeground#2a9b7d
  • gitDecoration.deletedResourceForeground#d12525
  • gitDecoration.ignoredResourceForeground#677873
  • gitDecoration.modifiedResourceForeground#0076c5
  • gitDecoration.untrackedResourceForeground#008b17
  • icon.foreground#000000ab
  • inlineChat.background#fcfdfc
  • inlineChat.border#cedfd1
  • inlineChatInput.background#f3f7f4
  • inlineChatInput.border#cedfd1
  • inlineChatInput.focusBorder#b0cab4
  • inlineEdit.gutterIndicator.background#00000080
  • inlineEdit.gutterIndicator.primaryBackground#fcba2db3
  • inlineEdit.gutterIndicator.primaryBorder#fcba2d00
  • inlineEdit.gutterIndicator.primaryForeground#000000
  • inlineEdit.gutterIndicator.secondaryBackground#59d2b2b3
  • inlineEdit.gutterIndicator.secondaryBorder#59d2b200
  • inlineEdit.gutterIndicator.secondaryForeground#000000
  • inlineEdit.gutterIndicator.successfulBackground#00f128b3
  • inlineEdit.gutterIndicator.successfulBorder#00f12800
  • inlineEdit.gutterIndicator.successfulForeground#000000
  • inlineEdit.modifiedBackground#008b1726
  • inlineEdit.modifiedBorder#008b17cc
  • inlineEdit.modifiedChangedLineBackground#008b1714
  • inlineEdit.modifiedChangedTextBackground#00000000
  • inlineEdit.originalBackground#d1252526
  • inlineEdit.originalBorder#d12525cc
  • inlineEdit.originalChangedLineBackground#d12525cc
  • inlineEdit.originalChangedTextBackground#00000000
  • inlineEdit.tabWillAcceptModifiedBorder#008b17
  • inlineEdit.tabWillAcceptOriginalBorder#d12525
  • input.background#f3f7f4
  • input.border#b0cab4
  • input.foreground#000000
  • input.placeholderForeground#91b697
  • inputOption.activeBackground#91b697
  • inputOption.activeBorder#00000000
  • inputOption.activeForeground#000000
  • inputOption.hoverBackground#cedfd1
  • inputValidation.errorBackground#f3f7f4
  • inputValidation.errorBorder#c08403
  • inputValidation.infoBackground#f3f7f4
  • inputValidation.infoBorder#2a9b7d
  • inputValidation.warningBackground#f3f7f4
  • inputValidation.warningBorder#c08403
  • keybindingLabel.background#f3f7f4
  • keybindingLabel.border#677873
  • keybindingLabel.bottomBorder#677873
  • keybindingLabel.foreground#000000
  • list.activeSelectionBackground#67787333
  • list.activeSelectionForeground#000000
  • list.dropBackground#2a9b7d15
  • list.errorForeground#d12525
  • list.focusBackground#2a9b7d40
  • list.focusForeground#000000
  • list.highlightForeground#c08403
  • list.hoverBackground#6778731a
  • list.hoverForeground#000000
  • list.inactiveSelectionBackground#6778731f
  • list.inactiveSelectionForeground#000000
  • list.warningForeground#c08403
  • menu.background#f3f7f4
  • menu.border#bfd4c3
  • menu.foreground#000000
  • menu.selectionForeground#000000
  • menu.separatorBackground#bfd4c365
  • menubar.selectionBackground#f3f7f4
  • menubar.selectionForeground#000000
  • merge.border#bfd4c3
  • merge.commonContentBackground#c0840330
  • merge.commonHeaderBackground#c0840380
  • merge.currentContentBackground#008b1730
  • merge.currentHeaderBackground#008b1780
  • merge.incomingContentBackground#0076c530
  • merge.incomingHeaderBackground#0076c580
  • minimap.background#edf3ee
  • minimap.errorHighlight#d12525
  • minimap.findMatchHighlight#2a9b7d
  • minimap.selectionHighlight#2a9b7d
  • minimap.selectionOccurrenceHighlight#2a9b7d
  • minimap.warningHighlight#c08403
  • minimapGutter.addedBackground#008b17
  • minimapGutter.deletedBackground#d12525
  • minimapGutter.modifiedBackground#0076c5
  • multiDiffEditor.border#bfd4c3
  • multiDiffEditor.headerBackground#dee9e0
  • notificationCenterHeader.background#f3f7f4
  • notificationCenterHeader.foreground#000000
  • notificationLink.foreground#c08403
  • notifications.background#f3f7f4
  • notifications.border#bfd4c3
  • notifications.foreground#000000
  • notificationsErrorIcon.foreground#d12525
  • notificationsInfoIcon.foreground#0076c5
  • notificationsWarningIcon.foreground#b96000
  • panel.background#e7efe9
  • panel.border#bfd4c3
  • panel.dropBorder#67787380
  • panelInput.border#cedfd1
  • panelSection.border#bfd4c3
  • panelSectionHeader.background#d8e5db
  • panelSectionHeader.border#bfd4c3
  • panelSectionHeader.foreground#000000
  • panelTitle.activeBorder#2a9b7d
  • panelTitle.activeForeground#2a9b7d
  • panelTitle.inactiveForeground#677873
  • peekView.border#bfd4c3
  • peekViewEditor.background#f9fbfa
  • peekViewEditor.matchHighlightBackground#f3f7f440
  • peekViewEditor.matchHighlightBorder#00000000
  • peekViewEditorGutter.background#f9fbfa
  • peekViewEditorStickyScroll.background#f6f9f7
  • peekViewResult.background#f5f8f5
  • peekViewResult.fileForeground#000000
  • peekViewResult.lineForeground#000000
  • peekViewResult.matchHighlightBackground#2a9b7d80
  • peekViewResult.selectionBackground#2a9b7d33
  • peekViewResult.selectionForeground#000000
  • peekViewTitle.background#fcfdfc
  • peekViewTitleDescription.foreground#000000
  • peekViewTitleLabel.foreground#000000
  • pickerGroup.border#bfd4c3
  • pickerGroup.foreground#000000
  • profileBadge.background#2a9b7d
  • profileBadge.foreground#edf3ee
  • progressBar.background#c08403
  • quickInput.background#f6f9f7
  • quickInput.foreground#000000
  • quickInputList.focusBackground#67787333
  • quickInputList.focusForeground#000000
  • quickInputList.focusIconForeground#000000
  • quickInputTitle.background#e2ece4
  • sash.hoverBorder#2a9b7d50
  • scmGraph.foreground1#0076c5
  • scmGraph.foreground2#c121a4
  • scmGraph.foreground3#668b07
  • scmGraph.foreground4#008f8f
  • scmGraph.foreground5#da2a5f
  • scmGraph.historyItemBaseRefColor#7522d3
  • scmGraph.historyItemHoverAdditionsForeground#008b17
  • scmGraph.historyItemHoverDefaultLabelBackground#000000
  • scmGraph.historyItemHoverDefaultLabelForeground#090a0a
  • scmGraph.historyItemHoverDeletionsForeground#d12525
  • scmGraph.historyItemHoverLabelForeground#090a0a
  • scmGraph.historyItemRefColor#c08403
  • scmGraph.historyItemRemoteRefColor#0076c5
  • scrollbar.shadow#00000033
  • scrollbarSlider.activeBackground#0000004d
  • scrollbarSlider.background#00000026
  • scrollbarSlider.hoverBackground#00000033
  • selection.background#2a9b7d61
  • settings.headerForeground#000000
  • settings.modifiedItemIndicator#2a9b7d
  • settings.settingsHeaderHoverForeground#000000
  • sideBar.background#e2ece4
  • sideBar.border#bfd4c3
  • sideBar.foreground#000000cc
  • sideBarSectionHeader.background#e2ece4
  • sideBarSectionHeader.border#bfd4c3
  • sideBarSectionHeader.foreground#000000
  • sideBarStickyScroll.background#dce8de
  • sideBarStickyScroll.shadow#00000033
  • sideBarTitle.foreground#677873
  • statusBar.background#edf3ee
  • statusBar.border#bfd4c3
  • statusBar.debuggingBackground#cae1d6
  • statusBar.debuggingForeground#10211c
  • statusBar.foreground#00000080
  • statusBar.noFolderBackground#e2ece4
  • statusBar.noFolderBorder#bfd4c3
  • statusBar.noFolderForeground#000000cc
  • statusBarItem.activeBackground#f3f7f4
  • statusBarItem.compactHoverBackground#2a9b7dcc
  • statusBarItem.errorBackground#d12525
  • statusBarItem.errorForeground#edf3ee
  • statusBarItem.errorHoverBackground#df4a4a
  • statusBarItem.errorHoverForeground#edf3ee
  • statusBarItem.hoverBackground#b8d9cb
  • statusBarItem.hoverForeground#000000
  • statusBarItem.offlineBackground#c121a4
  • statusBarItem.offlineForeground#edf3ee
  • statusBarItem.offlineHoverBackground#dd38bf
  • statusBarItem.offlineHoverForeground#edf3ee
  • statusBarItem.prominentBackground#edf3ee
  • statusBarItem.prominentForeground#edf3ee
  • statusBarItem.prominentHoverBackground#ffffff
  • statusBarItem.prominentHoverForeground#edf3ee
  • statusBarItem.remoteBackground#008f8f
  • statusBarItem.remoteForeground#edf3ee
  • statusBarItem.remoteHoverBackground#00c2c2
  • statusBarItem.remoteHoverForeground#edf3ee
  • statusBarItem.warningBackground#c08403
  • statusBarItem.warningForeground#edf3ee
  • statusBarItem.warningHoverBackground#f2a704
  • statusBarItem.warningHoverForeground#edf3ee
  • tab.activeBackground#dbeae2
  • tab.activeBorder#edf3ee
  • tab.activeBorderTop#2a9b7d
  • tab.activeForeground#000000
  • tab.border#bfd4c3
  • tab.hoverBackground#edf3ee
  • tab.inactiveBackground#e2ece4
  • tab.inactiveForeground#677873
  • tab.lastPinnedBorder#bfd4c3
  • tab.unfocusedActiveBorder#edf3ee
  • tab.unfocusedActiveForeground#2a9b7d
  • tab.unfocusedHoverBackground#edf3ee
  • tab.unfocusedInactiveForeground#677873
  • terminal.ansiBlack#edf3ee
  • terminal.ansiBlue#0076c5
  • terminal.ansiBrightBlack#aac6b1
  • terminal.ansiBrightBlue#0076c5
  • terminal.ansiBrightCyan#008f8f
  • terminal.ansiBrightGreen#008b17
  • terminal.ansiBrightMagenta#e200b9
  • terminal.ansiBrightRed#f60000
  • terminal.ansiBrightWhite#333333
  • terminal.ansiBrightYellow#c38500
  • terminal.ansiCyan#008f8f
  • terminal.ansiGreen#008b17
  • terminal.ansiMagenta#c121a4
  • terminal.ansiRed#d12525
  • terminal.ansiWhite#000000
  • terminal.ansiYellow#c08403
  • terminal.background#e7efe9
  • terminal.foreground#000000
  • terminal.selectionForeground#000000
  • terminalCursor.background#edf3ee
  • terminalCursor.foreground#c08403
  • terminalStickyScrollHover.background#f6f9f7
  • textBlockQuote.background#0076c533
  • textBlockQuote.border#0076c5b9
  • textCodeBlock.background#0076c533
  • textLink.activeForeground#2a9b7d
  • textLink.foreground#2a9b7d
  • textPreformat.background#ddba82
  • textPreformat.foreground#291c01
  • textSeparator.foreground#2a9b7d
  • titleBar.activeBackground#c3d8c7
  • titleBar.activeForeground#00000099
  • titleBar.border#bfd4c3
  • titleBar.inactiveBackground#c3d8c7
  • titleBar.inactiveForeground#00000099
  • toolbar.activeBackground#67787380
  • toolbar.hoverBackground#6778734d
  • tree.indentGuidesStroke#67787370
  • walkThrough.embeddedEditorBackground#edf3ee
  • welcomePage.progress.background#f3f7f4
  • welcomePage.progress.foreground#2a9b7d
  • welcomePage.tileBackground#0000001a
  • welcomePage.tileBorder#00000033
  • welcomePage.tileHoverBackground#00000033
  • widget.shadow#0000000d

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scopeforegroundfontStyle
comment, punctuation.definition.comment#677773italic
string#008b17
constant.numeric#b96000
comment.line#677773italic
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#677773italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl#827b51italic
keyword.control.krl#7522d3bold
keyword.function.movement.krl#0076c5bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl#c08403italic
variable.language.system.krl#d12525
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl#b96000
string.quoted.double.krl#008b17
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...