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#e3900026
  • activityBar.activeBorder#e39000
  • activityBar.background#0c1220
  • activityBar.border#070a12
  • activityBar.dropBorder#33498433
  • activityBar.foreground#e39000
  • activityBar.inactiveForeground#404a68
  • activityBarBadge.background#e39000
  • activityBarBadge.foreground#0c1220
  • activityBarTop.activeBorder#e39000
  • activityBarTop.dropBorder#33498433
  • activityBarTop.foreground#e39000
  • activityBarTop.inactiveForeground#3c445b
  • badge.background#e39000
  • badge.foreground#0c1220
  • breadcrumb.background#0f1628
  • breadcrumbPicker.background#16203b
  • button.background#e3900080
  • button.border#ffffff26
  • button.foreground#ffc154
  • button.hoverBackground#e3900099
  • button.secondaryBackground#192442
  • button.secondaryForeground#b8c4e4cc
  • button.secondaryHoverBackground#1d2a4d
  • button.separator#ffffff4d
  • charts.blue#3eb2ff
  • charts.foreground#b8c4e4
  • charts.green#21ff7d
  • charts.lines#b8c4e4
  • charts.orange#ff823f
  • charts.purple#e4ac73
  • charts.red#f7775a
  • charts.yellow#ffd000
  • checkbox.foreground#b8c4e4
  • commandCenter.activeBackground#16203b61
  • commandCenter.activeForeground#93a6d68f
  • commandCenter.background#0f1628
  • commandCenter.border#070a12
  • commandCenter.foreground#334984
  • contrastActiveBorder#00000000
  • contrastBorder#00000000
  • debugConsole.errorForeground#f7775a
  • debugConsole.infoForeground#3eb2ff
  • debugConsole.warningForeground#ff823f
  • debugExceptionWidget.background#16203b
  • debugExceptionWidget.border#070a12
  • debugIcon.breakpointCurrentStackframeForeground#f7775a
  • debugIcon.breakpointDisabledForeground#f7775a80
  • debugIcon.breakpointForeground#f7775a
  • debugIcon.continueForeground#3eb2ff
  • debugIcon.disconnectForeground#f7775a
  • debugIcon.pauseForeground#f7775a
  • debugIcon.restartForeground#21ff7d
  • debugIcon.startForeground#21ff7d
  • debugIcon.stepBackForeground#3eb2ff
  • debugIcon.stepIntoForeground#3eb2ff
  • debugIcon.stepOutForeground#3eb2ff
  • debugIcon.stepOverForeground#3eb2ff
  • debugIcon.stopForeground#f7775a
  • debugToolBar.background#252029
  • descriptionForeground#b8c4e480
  • diffEditor.border#070a12
  • diffEditor.diagonalFill#16203b
  • diffEditor.insertedLineBackground#21ff7d1a
  • diffEditor.insertedTextBackground#21ff7d1a
  • diffEditor.insertedTextBorder#00000000
  • diffEditor.move.border#ffd0004d
  • diffEditor.moveActive.border#ffd000b3
  • diffEditor.removedLineBackground#ff72521a
  • diffEditor.removedTextBackground#ff72521a
  • diffEditor.removedTextBorder#00000000
  • diffEditor.unchangedCodeBackground#0b101c
  • diffEditor.unchangedRegionBackground#0b101c
  • diffEditor.unchangedRegionShadow#00000066
  • diffEditorGutter.insertedLineBackground#00000000
  • diffEditorGutter.removedLineBackground#00000000
  • diffEditorOverview.insertedForeground#21ff7d26
  • diffEditorOverview.removedForeground#f7775a30
  • disabledForeground#b8c4e44d
  • dropdown.background#121b31
  • dropdown.border#27365c
  • dropdown.foreground#b8c4e4
  • dropdown.listBackground#121b31
  • editor.background#0f1628
  • editor.findMatchBackground#e3900030
  • editor.findMatchBorder#e3900061
  • editor.findMatchHighlightBackground#30478180
  • editor.findMatchHighlightBorder#415fae80
  • editor.foldBackground#00000033
  • editor.foldPlaceholderForeground#334984
  • editor.foreground#b8c4e4
  • editor.hoverHighlightBackground#39539780
  • editor.inactiveSelectionBackground#39539780
  • editor.lineHighlightBackground#17223e80
  • editor.lineHighlightBorder#24356080
  • editor.linkedEditingBackground#3eb2ff33
  • editor.rangeHighlightBackground#30478180
  • editor.selectionBackground#39539780
  • editor.selectionForeground#b8c4e4
  • editor.selectionHighlightBackground#e3900014
  • editor.selectionHighlightBorder#39539780
  • editor.wordHighlightBackground#5b78c280
  • editor.wordHighlightBorder#7c93ce80
  • editor.wordHighlightStrongBackground#39539780
  • editorBracketHighlight.foreground1#ffd000
  • editorBracketHighlight.foreground2#e4ac73
  • editorBracketHighlight.foreground3#3eb2ff
  • editorBracketHighlight.foreground4#a167ff
  • editorBracketHighlight.foreground5#44f8e9
  • editorBracketHighlight.foreground6#ff3d3d
  • editorBracketHighlight.unexpectedBracket.foreground#f7775a
  • editorBracketMatch.background#39539780
  • editorBracketMatch.border#5b78c280
  • editorCodeLens.foreground#93a6d680
  • editorCursor.background#e39000
  • editorCursor.foreground#ffd000
  • editorError.border#00000000
  • editorError.foreground#f7775a
  • editorGhostText.border#00000000
  • editorGhostText.foreground#b8c4e470
  • editorGroup.border#070a12
  • editorGroup.dropBackground#e3900014
  • editorGroupHeader.border#00000000
  • editorGroupHeader.noTabsBackground#0f1628
  • editorGroupHeader.tabsBackground#0c1220
  • editorGroupHeader.tabsBorder#070a12
  • editorGutter.addedBackground#21ff7dcc
  • editorGutter.background#0f1628
  • editorGutter.commentRangeForeground#16203b
  • editorGutter.deletedBackground#f7775acc
  • editorGutter.modifiedBackground#3eb2ffcc
  • editorHoverWidget.background#16203b
  • editorHoverWidget.border#070a12
  • editorIndentGuide.activeBackground1#334984cc
  • editorIndentGuide.background1#33498433
  • editorInfo.border#00000000
  • editorInlayHint.background#93a6d61a
  • editorInlayHint.foreground#93a6d6b3
  • editorInlayHint.parameterBackground#93a6d61a
  • editorInlayHint.parameterForeground#93a6d6b3
  • editorInlayHint.typeBackground#93a6d61a
  • editorInlayHint.typeForeground#93a6d6b3
  • editorLineNumber.activeForeground#7186c0
  • editorLineNumber.foreground#313a55
  • editorLink.activeForeground#b8c4e4
  • editorMarkerNavigation.background#0c1220
  • editorMarkerNavigationError.background#f7775a8f
  • editorMarkerNavigationInfo.background#3eb2ff8f
  • editorMarkerNavigationWarning.background#ff823f8f
  • editorOverviewRuler.addedForeground#21ff7d80
  • editorOverviewRuler.border#070a12
  • editorOverviewRuler.deletedForeground#f7775a80
  • editorOverviewRuler.errorForeground#f7775a
  • editorOverviewRuler.incomingContentForeground#21ff7d80
  • editorOverviewRuler.infoForeground#3eb2ff80
  • editorOverviewRuler.modifiedForeground#3eb2ff80
  • editorOverviewRuler.selectionHighlightForeground#e3900080
  • editorOverviewRuler.warningForeground#ff823f
  • editorRuler.foreground#33498433
  • editorStickyScroll.shadow#00000066
  • editorStickyScrollHover.background#131c33
  • editorSuggestWidget.background#121a2f
  • editorSuggestWidget.border#070a12
  • editorSuggestWidget.foreground#93a6d6
  • editorSuggestWidget.highlightForeground#ffd000
  • editorSuggestWidget.selectedBackground#1d2a4d
  • editorSuggestWidget.selectedIconForeground#b8c4e4
  • editorUnnecessaryCode.border#00000000
  • editorUnnecessaryCode.opacity#000000aa
  • editorWarning.border#00000000
  • editorWarning.foreground#ffd000
  • editorWhitespace.foreground#33498460
  • editorWidget.background#16203b
  • editorWidget.border#1d2a4d
  • editorWidget.resizeBorder#e3900050
  • errorForeground#f7775a
  • errorLens.errorForeground#f7775afc
  • errorLens.hintForeground#3eb2fffc
  • errorLens.infoForeground#3eb2fffc
  • errorLens.warningForeground#ff823ffc
  • extensionButton.background#e3900080
  • extensionButton.foreground#ffc154
  • extensionButton.hoverBackground#e3900099
  • extensionButton.prominentBackground#e390009d
  • extensionButton.prominentForeground#b8c4e4
  • extensionButton.prominentHoverBackground#e39000
  • focusBorder#2b3f72
  • foreground#93a6d6
  • gitDecoration.conflictingResourceForeground#e39000
  • gitDecoration.deletedResourceForeground#f7775a
  • gitDecoration.ignoredResourceForeground#334984
  • gitDecoration.modifiedResourceForeground#3eb2ff
  • gitDecoration.untrackedResourceForeground#21ff7d
  • icon.foreground#93a6d6ab
  • inlineChat.background#16203b
  • inlineChat.border#1d2a4d
  • inlineChatInput.background#121a2f
  • inlineChatInput.border#1d2a4d
  • inlineChatInput.focusBorder#2b3f72
  • inlineEdit.gutterIndicator.background#93a6d680
  • inlineEdit.gutterIndicator.primaryBackground#997d00b3
  • inlineEdit.gutterIndicator.primaryBorder#997d00
  • inlineEdit.gutterIndicator.primaryForeground#010203
  • inlineEdit.gutterIndicator.secondaryBackground#7d4f00b3
  • inlineEdit.gutterIndicator.secondaryBorder#7d4f00
  • inlineEdit.gutterIndicator.secondaryForeground#000000
  • inlineEdit.gutterIndicator.successfulBackground#00ba4db3
  • inlineEdit.gutterIndicator.successfulBorder#00ba4d
  • inlineEdit.gutterIndicator.successfulForeground#000000
  • inlineEdit.modifiedBackground#21ff7d26
  • inlineEdit.modifiedBorder#21ff7dcc
  • inlineEdit.modifiedChangedLineBackground#21ff7d14
  • inlineEdit.modifiedChangedTextBackground#00000000
  • inlineEdit.originalBackground#f7775a26
  • inlineEdit.originalBorder#f7775acc
  • inlineEdit.originalChangedLineBackground#f7775acc
  • inlineEdit.originalChangedTextBackground#00000000
  • inlineEdit.tabWillAcceptModifiedBorder#21ff7d
  • inlineEdit.tabWillAcceptOriginalBorder#f7775a
  • input.background#121b31
  • input.border#27365c
  • input.foreground#b8c4e4
  • input.placeholderForeground#3e5592
  • inputOption.activeBackground#395397
  • inputOption.activeBorder#00000000
  • inputOption.activeForeground#b8c4e4
  • inputOption.hoverBackground#1d2a4d
  • inputValidation.errorBackground#16203b
  • inputValidation.errorBorder#ffd000
  • inputValidation.infoBackground#16203b
  • inputValidation.infoBorder#e39000
  • inputValidation.warningBackground#16203b
  • inputValidation.warningBorder#ffd000
  • keybindingLabel.background#16203b
  • keybindingLabel.border#3b4d7c
  • keybindingLabel.bottomBorder#3b4d7c
  • keybindingLabel.foreground#667cb7
  • list.activeSelectionBackground#24346073
  • list.activeSelectionForeground#b8c4e4
  • list.dropBackground#e3900015
  • list.errorForeground#f7775a
  • list.focusBackground#e3900040
  • list.focusForeground#93a6d6
  • list.highlightForeground#ffd000
  • list.hoverBackground#2434604d
  • list.hoverForeground#f1f3f8
  • list.inactiveSelectionBackground#24346040
  • list.inactiveSelectionForeground#b8c4e4
  • list.warningForeground#ff823f
  • menu.background#16203b
  • menu.border#070a12
  • menu.foreground#899ac7
  • menu.selectionForeground#f1f3f8
  • menu.separatorBackground#070a1265
  • menubar.selectionBackground#16203b
  • menubar.selectionForeground#93a6d6
  • merge.border#070a12
  • merge.commonContentBackground#ffd00030
  • merge.commonHeaderBackground#ffd00080
  • merge.currentContentBackground#21ff7d30
  • merge.currentHeaderBackground#21ff7d80
  • merge.incomingContentBackground#3eb2ff30
  • merge.incomingHeaderBackground#3eb2ff80
  • minimap.background#0f1628
  • minimap.errorHighlight#f7775a
  • minimap.findMatchHighlight#e39000
  • minimap.selectionHighlight#e39000
  • minimap.selectionOccurrenceHighlight#e39000
  • minimap.warningHighlight#ff823f
  • minimapGutter.addedBackground#21ff7d
  • minimapGutter.deletedBackground#f7775a
  • minimapGutter.modifiedBackground#3eb2ff
  • multiDiffEditor.border#070a12
  • multiDiffEditor.headerBackground#16203b
  • notificationCenterHeader.background#16203b
  • notificationCenterHeader.foreground#b8c4e4
  • notificationLink.foreground#ffd000
  • notifications.background#16203b
  • notifications.border#070a12
  • notifications.foreground#93a6d6
  • notificationsErrorIcon.foreground#f7775a
  • notificationsInfoIcon.foreground#3eb2ff
  • notificationsWarningIcon.foreground#ff823f
  • panel.background#0e1424
  • panel.border#070a12
  • panel.dropBorder#33498480
  • panelInput.border#1d2a4d
  • panelSection.border#070a12
  • panelSectionHeader.background#121a2f
  • panelSectionHeader.border#070a12
  • panelSectionHeader.foreground#b8c4e4
  • panelTitle.activeBorder#e39000
  • panelTitle.activeForeground#e39000
  • panelTitle.inactiveForeground#334984
  • peekView.border#070a12
  • peekViewEditor.background#151e37
  • peekViewEditor.matchHighlightBackground#16203b40
  • peekViewEditor.matchHighlightBorder#00000000
  • peekViewEditorGutter.background#151e37
  • peekViewEditorStickyScroll.background#131c33
  • peekViewResult.background#121b31
  • peekViewResult.fileForeground#b8c4e4
  • peekViewResult.lineForeground#93a6d6
  • peekViewResult.matchHighlightBackground#e3900080
  • peekViewResult.selectionBackground#e3900033
  • peekViewResult.selectionForeground#b8c4e4
  • peekViewTitle.background#16203b
  • peekViewTitleDescription.foreground#b8c4e4
  • peekViewTitleLabel.foreground#b8c4e4
  • pickerGroup.border#070a12
  • pickerGroup.foreground#b8c4e4
  • profileBadge.background#e39000
  • profileBadge.foreground#0f1628
  • progressBar.background#ffd000
  • quickInput.background#131c33
  • quickInput.foreground#b8c4e4b3
  • quickInputList.focusBackground#32488573
  • quickInputList.focusForeground#f1f3f8
  • quickInputList.focusIconForeground#b8c4e4
  • quickInputTitle.background#0c1220
  • sash.hoverBorder#e3900050
  • scmGraph.foreground1#3eb2ff
  • scmGraph.foreground2#e4ac73
  • scmGraph.foreground3#A4EF58
  • scmGraph.foreground4#44f8e9
  • scmGraph.foreground5#ff3d3d
  • scmGraph.historyItemBaseRefColor#a167ff
  • scmGraph.historyItemHoverAdditionsForeground#21ff7d
  • scmGraph.historyItemHoverDefaultLabelBackground#93a6d6
  • scmGraph.historyItemHoverDefaultLabelForeground#000000
  • scmGraph.historyItemHoverDeletionsForeground#f7775a
  • scmGraph.historyItemHoverLabelForeground#000000
  • scmGraph.historyItemRefColor#ffd000
  • scmGraph.historyItemRemoteRefColor#3eb2ff
  • scrollbar.shadow#00000066
  • scrollbarSlider.activeBackground#b8c4e44d
  • scrollbarSlider.background#b8c4e426
  • scrollbarSlider.hoverBackground#b8c4e433
  • selection.background#e3900061
  • settings.headerForeground#b8c4e4
  • settings.modifiedItemIndicator#e39000
  • settings.settingsHeaderHoverForeground#b8c4e4
  • sideBar.background#0c1220
  • sideBar.border#070a12
  • sideBar.foreground#93a6d6cc
  • sideBarSectionHeader.background#0c1220
  • sideBarSectionHeader.border#070a12
  • sideBarSectionHeader.foreground#b8c4e4
  • sideBarStickyScroll.background#090e19
  • sideBarStickyScroll.shadow#00000066
  • sideBarTitle.foreground#334984
  • statusBar.background#0f1628
  • statusBar.border#070a12
  • statusBar.debuggingBackground#3a2b2a
  • statusBar.debuggingForeground#a89389
  • statusBar.foreground#93a6d680
  • statusBar.noFolderBackground#0c1220
  • statusBar.noFolderBorder#070a12
  • statusBar.noFolderForeground#93a6d6cc
  • statusBarItem.activeBackground#16203b
  • statusBarItem.compactHoverBackground#e39000cc
  • statusBarItem.errorBackground#f7775a
  • statusBarItem.errorForeground#4e1204
  • statusBarItem.errorHoverBackground#f99f8b
  • statusBarItem.errorHoverForeground#0f1628
  • statusBarItem.hoverBackground#4d372a
  • statusBarItem.hoverForeground#b8c4e4
  • statusBarItem.offlineBackground#e4ac73
  • statusBarItem.offlineForeground#4a2c0e
  • statusBarItem.offlineHoverBackground#ecc59e
  • statusBarItem.offlineHoverForeground#0f1628
  • statusBarItem.prominentBackground#0f1628
  • statusBarItem.prominentForeground#000000
  • statusBarItem.prominentHoverBackground#1d2a4d
  • statusBarItem.prominentHoverForeground#0f1628
  • statusBarItem.remoteBackground#44f8e9
  • statusBarItem.remoteForeground#023b36
  • statusBarItem.remoteHoverBackground#75faef
  • statusBarItem.remoteHoverForeground#0f1628
  • statusBarItem.warningBackground#ff823f
  • statusBarItem.warningForeground#3f1600
  • statusBarItem.warningHoverBackground#ffa372
  • statusBarItem.warningHoverForeground#0f1628
  • tab.activeBackground#0f1628
  • tab.activeBorder#0f1628
  • tab.activeBorderTop#e39000
  • tab.activeForeground#b8c4e4
  • tab.border#070a12
  • tab.hoverBackground#0f1628
  • tab.inactiveBackground#0c1220
  • tab.inactiveForeground#334984
  • tab.lastPinnedBorder#070a12
  • tab.unfocusedActiveBorder#0f1628
  • tab.unfocusedActiveForeground#e39000
  • tab.unfocusedHoverBackground#0f1628
  • tab.unfocusedInactiveForeground#334984
  • terminal.ansiBlack#0f1628
  • terminal.ansiBlue#3eb2ff
  • terminal.ansiBrightBlack#2b3d6d
  • terminal.ansiBrightBlue#3eb2ff
  • terminal.ansiBrightCyan#3dffef
  • terminal.ansiBrightGreen#21ff7d
  • terminal.ansiBrightMagenta#fdac5a
  • terminal.ansiBrightRed#ff7252
  • terminal.ansiBrightWhite#ffffff
  • terminal.ansiBrightYellow#ffd000
  • terminal.ansiCyan#44f8e9
  • terminal.ansiGreen#21ff7d
  • terminal.ansiMagenta#e4ac73
  • terminal.ansiRed#f7775a
  • terminal.ansiWhite#b8c4e4
  • terminal.ansiYellow#ffd000
  • terminal.background#0e1424
  • terminal.foreground#b8c4e4
  • terminal.selectionForeground#b8c4e4
  • terminalCursor.background#0f1628
  • terminalCursor.foreground#ffd000
  • terminalStickyScrollHover.background#131c33
  • textBlockQuote.background#3eb2ff33
  • textBlockQuote.border#3eb2ffb9
  • textCodeBlock.background#3eb2ff33
  • textLink.activeForeground#e39000
  • textLink.foreground#e39000
  • textPreformat.background#3d352e
  • textPreformat.foreground#ffd000
  • textSeparator.foreground#e39000
  • titleBar.activeBackground#080c15
  • titleBar.activeForeground#b8c4e466
  • titleBar.border#070a12
  • titleBar.inactiveBackground#080c15
  • titleBar.inactiveForeground#334984
  • toolbar.activeBackground#33498480
  • toolbar.hoverBackground#3349844d
  • tree.indentGuidesStroke#33498470
  • walkThrough.embeddedEditorBackground#0f1628
  • welcomePage.progress.background#16203b
  • welcomePage.progress.foreground#e39000
  • welcomePage.tileBackground#93a6d61a
  • welcomePage.tileBorder#93a6d633
  • welcomePage.tileHoverBackground#93a6d633
  • widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scopeforegroundfontStyle
comment, punctuation.definition.comment#5c6d9aitalic
string#21ff7d
constant.numeric#ff823f
comment.line#5c6d9aitalic
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#5c6d9aitalic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl#8d8b6citalic
keyword.control.krl#a167ffbold
keyword.function.movement.krl#3eb2ffbold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl#ffd000italic
variable.language.system.krl#f7775a
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl#ff823f
string.quoted.double.krl#21ff7d
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...

KUKA KRL Extension - Coding Theme