mirror of
https://github.com/sharkdp/bat
synced 2024-11-04 18:00:24 +00:00
f59d00d4c7
This changes the base16 theme back from #RRGGBB0f to #RRGGBB00, reverting part of #934. That PR used the 0f encoding to produce ANSI escape sequences 30-37 and 40-47 rather than 38;5 and 48;5 which require 256-color support. Unfortunately, it resulted in base16 using the wrong colors becuase ansi_term does not support the bright variants (90-97 and 100-107) so it simply mapped them to the non-bright colors. This PR makes combines the 00 and 0f alpha encodings into 00, and makes them use the Color enum for the first 8 colors and Fixed otherwise. This means the ansi-light and ansi-dark themes will work on terminals without 256-color support, and base16 will render bright colors correctly.
544 lines
19 KiB
Plaintext
Vendored
544 lines
19 KiB
Plaintext
Vendored
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
|
|
<plist version="1.0">
|
|
<dict>
|
|
<!--
|
|
The colors in this theme are encoded as #RRGGBBAA where RR is an ANSI
|
|
palette number from 00 to 0f, and AA is the special value 00 to indicate
|
|
that this encoding is being used.
|
|
-->
|
|
<key>author</key>
|
|
<string>Template: Chris Kempson, Scheme: Mitchell Kember</string>
|
|
<key>name</key>
|
|
<string>Base16</string>
|
|
<key>colorSpaceName</key>
|
|
<string>sRGB</string>
|
|
<key>settings</key>
|
|
<array>
|
|
<dict>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>background</key>
|
|
<string>#00000000</string>
|
|
<key>caret</key>
|
|
<string>#07000000</string>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
<key>invisibles</key>
|
|
<string>#08000000</string>
|
|
<key>lineHighlight</key>
|
|
<string>#08000000</string>
|
|
<key>selection</key>
|
|
<string>#0b000000</string>
|
|
<key>gutter</key>
|
|
<string>#0a000000</string>
|
|
<key>gutterForeground</key>
|
|
<string>#08000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Text</string>
|
|
<key>scope</key>
|
|
<string>variable.parameter.function</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Comments</string>
|
|
<key>scope</key>
|
|
<string>comment, punctuation.definition.comment</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#08000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Punctuation</string>
|
|
<key>scope</key>
|
|
<string>punctuation.definition.string, punctuation.definition.variable, punctuation.definition.string, punctuation.definition.parameters, punctuation.definition.string, punctuation.definition.array</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Delimiters</string>
|
|
<key>scope</key>
|
|
<string>none</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Operators</string>
|
|
<key>scope</key>
|
|
<string>keyword.operator</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Keywords</string>
|
|
<key>scope</key>
|
|
<string>keyword</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#05000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Variables</string>
|
|
<key>scope</key>
|
|
<string>variable</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Functions</string>
|
|
<key>scope</key>
|
|
<string>entity.name.function, meta.require, support.function.any-method</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#04000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Labels</string>
|
|
<key>scope</key>
|
|
<string>entity.name.label</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#0e000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Classes</string>
|
|
<key>scope</key>
|
|
<string>support.class, entity.name.class, entity.name.type.class</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#03000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Classes</string>
|
|
<key>scope</key>
|
|
<string>meta.class</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#0f000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Methods</string>
|
|
<key>scope</key>
|
|
<string>keyword.other.special-method</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#04000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Storage</string>
|
|
<key>scope</key>
|
|
<string>storage</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#05000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Support</string>
|
|
<key>scope</key>
|
|
<string>support.function</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#06000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Strings, Inherited Class</string>
|
|
<key>scope</key>
|
|
<string>string, constant.other.symbol, entity.other.inherited-class</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#02000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Integers</string>
|
|
<key>scope</key>
|
|
<string>constant.numeric</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Floats</string>
|
|
<key>scope</key>
|
|
<string>none</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Boolean</string>
|
|
<key>scope</key>
|
|
<string>none</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Constants</string>
|
|
<key>scope</key>
|
|
<string>constant</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Tags</string>
|
|
<key>scope</key>
|
|
<string>entity.name.tag</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#01000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Attributes</string>
|
|
<key>scope</key>
|
|
<string>entity.other.attribute-name</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Attribute IDs</string>
|
|
<key>scope</key>
|
|
<string>entity.other.attribute-name.id, punctuation.definition.entity</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#04000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Selector</string>
|
|
<key>scope</key>
|
|
<string>meta.selector</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#05000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Values</string>
|
|
<key>scope</key>
|
|
<string>none</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Headings</string>
|
|
<key>scope</key>
|
|
<string>markup.heading punctuation.definition.heading, entity.name.section</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>fontStyle</key>
|
|
<string></string>
|
|
<key>foreground</key>
|
|
<string>#04000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Units</string>
|
|
<key>scope</key>
|
|
<string>keyword.other.unit</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Bold</string>
|
|
<key>scope</key>
|
|
<string>markup.bold, punctuation.definition.bold</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>fontStyle</key>
|
|
<string>bold</string>
|
|
<key>foreground</key>
|
|
<string>#03000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Italic</string>
|
|
<key>scope</key>
|
|
<string>markup.italic, punctuation.definition.italic</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>fontStyle</key>
|
|
<string>italic</string>
|
|
<key>foreground</key>
|
|
<string>#05000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Code</string>
|
|
<key>scope</key>
|
|
<string>markup.raw.inline</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#02000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Link Text</string>
|
|
<key>scope</key>
|
|
<string>string.other.link, punctuation.definition.string.end.markdown, punctuation.definition.string.begin.markdown</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#01000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Link Url</string>
|
|
<key>scope</key>
|
|
<string>meta.link</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Quotes</string>
|
|
<key>scope</key>
|
|
<string>markup.quote</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#09000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Separator</string>
|
|
<key>scope</key>
|
|
<string>meta.separator</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>background</key>
|
|
<string>#0b000000</string>
|
|
<key>foreground</key>
|
|
<string>#07000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Inserted</string>
|
|
<key>scope</key>
|
|
<string>markup.inserted</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#02000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Deleted</string>
|
|
<key>scope</key>
|
|
<string>markup.deleted</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#01000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Changed</string>
|
|
<key>scope</key>
|
|
<string>markup.changed</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#05000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Colors</string>
|
|
<key>scope</key>
|
|
<string>constant.other.color</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#06000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Regular Expressions</string>
|
|
<key>scope</key>
|
|
<string>string.regexp</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#06000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Escape Characters</string>
|
|
<key>scope</key>
|
|
<string>constant.character.escape</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#06000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Embedded</string>
|
|
<key>scope</key>
|
|
<string>punctuation.section.embedded, variable.interpolation</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>foreground</key>
|
|
<string>#05000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Illegal</string>
|
|
<key>scope</key>
|
|
<string>invalid.illegal</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>background</key>
|
|
<string>#01000000</string>
|
|
<key>foreground</key>
|
|
<string>#0f000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Broken</string>
|
|
<key>scope</key>
|
|
<string>invalid.broken</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>background</key>
|
|
<string>#09000000</string>
|
|
<key>foreground</key>
|
|
<string>#00000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Deprecated</string>
|
|
<key>scope</key>
|
|
<string>invalid.deprecated</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>background</key>
|
|
<string>#0e000000</string>
|
|
<key>foreground</key>
|
|
<string>#0f000000</string>
|
|
</dict>
|
|
</dict>
|
|
<dict>
|
|
<key>name</key>
|
|
<string>Unimplemented</string>
|
|
<key>scope</key>
|
|
<string>invalid.unimplemented</string>
|
|
<key>settings</key>
|
|
<dict>
|
|
<key>background</key>
|
|
<string>#08000000</string>
|
|
<key>foreground</key>
|
|
<string>#0f000000</string>
|
|
</dict>
|
|
</dict>
|
|
</array>
|
|
<key>uuid</key>
|
|
<string>uuid</string>
|
|
</dict>
|
|
</plist>
|