KUKA KRL Extension
Publisher: LiskinLabsThemes in package: 6
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.activeBorder#00E5FF
- activityBar.background#000000
- activityBar.border#0a0a0a
- activityBar.foreground#00E5FF
- activityBar.inactiveForeground#404040
- activityBarBadge.background#00E5FF
- activityBarBadge.foreground#000000
- badge.background#00E5FF
- badge.foreground#000000
- breadcrumb.background#000000
- breadcrumb.focusForeground#e0e0e0
- breadcrumb.foreground#606060
- button.background#00BCD4
- button.foreground#000000
- button.hoverBackground#00ACC1
- button.secondaryBackground#1a1a1a
- button.secondaryForeground#e0e0e0
- contrastBorder#00000000
- descriptionForeground#606060
- diffEditor.insertedTextBackground#69f0ae15
- diffEditor.removedTextBackground#ff525215
- dropdown.background#0a0a0a
- dropdown.border#1a1a1a
- dropdown.foreground#e0e0e0
- editor.background#000000
- editor.findMatchBackground#00e5ff30
- editor.findMatchBorder#00E5FF
- editor.findMatchHighlightBackground#00e5ff18
- editor.foldBackground#0a0a0a60
- editor.foreground#e0e0e0
- editor.lineHighlightBackground#0a0a0a
- editor.lineHighlightBorder#161616
- editor.selectionBackground#00e5ff25
- editor.selectionHighlightBackground#00e5ff15
- editor.wordHighlightBackground#00e5ff20
- editor.wordHighlightStrongBackground#00e5ff30
- editorBracketHighlight.foreground1#FFAB40
- editorBracketHighlight.foreground2#40C4FF
- editorBracketHighlight.foreground3#69F0AE
- editorBracketHighlight.foreground4#EA80FC
- editorBracketHighlight.foreground5#FF8A80
- editorBracketHighlight.foreground6#FFD740
- editorBracketHighlight.unexpectedBracket.foreground#FF5252
- editorBracketMatch.background#00e5ff25
- editorBracketMatch.border#00E5FF
- editorCodeLens.foreground#60606080
- editorCursor.foreground#00E5FF
- editorError.foreground#FF5252
- editorGutter.addedBackground#69F0AE
- editorGutter.background#000000
- editorGutter.deletedBackground#FF5252
- editorGutter.modifiedBackground#40C4FF
- editorHoverWidget.background#0a0a0a
- editorHoverWidget.border#1a1a1a
- editorIndentGuide.activeBackground1#00e5ff70
- editorIndentGuide.background1#1a1a1a40
- editorInfo.foreground#40C4FF
- editorInlayHint.background#00e5ff10
- editorInlayHint.foreground#e0e0e0b0
- editorLineNumber.activeForeground#00E5FF
- editorLineNumber.foreground#333333
- editorOverviewRuler.border#0a0a0a
- editorRuler.foreground#1a1a1a40
- editorSuggestWidget.background#0a0a0a
- editorSuggestWidget.border#1a1a1a
- editorSuggestWidget.foreground#cccccc
- editorSuggestWidget.highlightForeground#00E5FF
- editorSuggestWidget.selectedBackground#1a1a1a
- editorWarning.foreground#FFD740
- editorWhitespace.foreground#1a1a1a60
- editorWidget.background#0a0a0a
- editorWidget.border#1a1a1a
- errorForeground#FF5252
- errorLens.errorForeground#FF5252
- errorLens.hintForeground#40C4FF
- errorLens.infoForeground#40C4FF
- errorLens.warningForeground#FFD740
- focusBorder#00e5ff50
- foreground#cccccc
- gitDecoration.addedResourceForeground#69F0AE
- gitDecoration.conflictingResourceForeground#FFD740
- gitDecoration.deletedResourceForeground#FF5252
- gitDecoration.ignoredResourceForeground#333333
- gitDecoration.modifiedResourceForeground#40C4FF
- gitDecoration.untrackedResourceForeground#69F0AE
- icon.foreground#cccccc90
- input.background#0a0a0a
- input.border#1a1a1a
- input.foreground#e0e0e0
- input.placeholderForeground#404040
- inputOption.activeBackground#00e5ff30
- inputOption.activeBorder#00E5FF
- inputOption.activeForeground#e0e0e0
- list.activeSelectionBackground#00e5ff18
- list.activeSelectionForeground#e0e0e0
- list.errorForeground#FF5252
- list.highlightForeground#00E5FF
- list.hoverBackground#0a0a0a80
- list.hoverForeground#ffffff
- list.inactiveSelectionBackground#0a0a0a50
- list.warningForeground#FFD740
- menu.background#0a0a0a
- menu.border#0a0a0a
- menu.foreground#cccccc
- menu.selectionForeground#ffffff
- menu.separatorBackground#1a1a1a
- minimap.background#000000
- minimap.errorHighlight#FF5252
- minimap.selectionHighlight#00e5ff40
- minimap.warningHighlight#FFD740
- notificationCenterHeader.background#0a0a0a
- notifications.background#0a0a0a
- notifications.border#1a1a1a
- notifications.foreground#cccccc
- notificationsErrorIcon.foreground#FF5252
- notificationsInfoIcon.foreground#40C4FF
- notificationsWarningIcon.foreground#FFD740
- panel.background#000000
- panel.border#0a0a0a
- panelTitle.activeBorder#00E5FF
- panelTitle.activeForeground#e0e0e0
- panelTitle.inactiveForeground#404040
- peekView.border#00E5FF
- peekViewEditor.background#0a0a0a
- peekViewResult.background#000000
- peekViewTitle.background#0a0a0a
- progressBar.background#00E5FF
- quickInput.background#0a0a0a
- quickInput.foreground#e0e0e0
- quickInputList.focusBackground#00e5ff20
- quickInputList.focusForeground#ffffff
- scrollbar.shadow#00000080
- scrollbarSlider.activeBackground#00e5ff40
- scrollbarSlider.background#e0e0e015
- scrollbarSlider.hoverBackground#e0e0e025
- selection.background#00e5ff25
- settings.headerForeground#e0e0e0
- settings.modifiedItemIndicator#00E5FF
- sideBar.background#000000
- sideBar.border#0a0a0a
- sideBar.foreground#a0a0a0
- sideBarSectionHeader.background#000000
- sideBarSectionHeader.border#0a0a0a
- sideBarSectionHeader.foreground#e0e0e0
- sideBarTitle.foreground#505050
- statusBar.background#000000
- statusBar.border#0a0a0a
- statusBar.debuggingBackground#00e5ff25
- statusBar.debuggingForeground#e0e0e0
- statusBar.foreground#606060
- statusBar.noFolderBackground#000000
- statusBarItem.activeBackground#00e5ff20
- statusBarItem.errorBackground#FF5252
- statusBarItem.errorForeground#000000
- statusBarItem.hoverBackground#1a1a1a
- statusBarItem.remoteBackground#00E5FF
- statusBarItem.remoteForeground#000000
- statusBarItem.warningBackground#FFD740
- statusBarItem.warningForeground#000000
- tab.activeBackground#000000
- tab.activeBorderTop#00E5FF
- tab.activeForeground#e0e0e0
- tab.border#0a0a0a
- tab.hoverBackground#0a0a0a
- tab.inactiveBackground#000000
- tab.inactiveForeground#404040
- terminal.ansiBlack#000000
- terminal.ansiBlue#40C4FF
- terminal.ansiBrightBlack#404040
- terminal.ansiBrightBlue#80D8FF
- terminal.ansiBrightCyan#84FFFF
- terminal.ansiBrightGreen#B9F6CA
- terminal.ansiBrightMagenta#EA80FC
- terminal.ansiBrightRed#FF8A80
- terminal.ansiBrightWhite#ffffff
- terminal.ansiBrightYellow#FFE57F
- terminal.ansiCyan#18FFFF
- terminal.ansiGreen#69F0AE
- terminal.ansiMagenta#CE93D8
- terminal.ansiRed#FF5252
- terminal.ansiWhite#e0e0e0
- terminal.ansiYellow#FFD740
- terminal.background#000000
- terminal.foreground#e0e0e0
- titleBar.activeBackground#000000
- titleBar.activeForeground#e0e0e060
- titleBar.border#0a0a0a
- titleBar.inactiveBackground#000000
- titleBar.inactiveForeground#404040
- widget.shadow#00000080
tokenColors
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| comment, punctuation.definition.comment | #4a4a4a | italic |
| string | #69F0AE | — |
| constant.numeric | #FFAB40 | — |
| constant.language, constant.other | #FF8A80 | — |
| keyword.operator | #b0b0b0 | — |
| storage.type, storage.modifier | #18FFFF | — |
| support.function | #40C4FF | — |
| 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 | #4a4a4a | italic |
| comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl | #4d6653 | italic |
| keyword.control.krl | #EA80FC | bold |
| keyword.function.movement.krl | #00E5FF | bold |
| storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl | #18FFFF | italic |
| variable.language.system.krl | #FF5252 | |
| constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl | #FFAB40 | — |
| string.quoted.double.krl | #69F0AE | — |
| variable.function.krl | #40C4FF | — |
| constant.language.enum.krl, variable.other.enummember.krl | #FF8A80 | — |
| support.function.builtin.krl | #00E5FF | — |
| keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl | #b0b0b0 | — |