extern/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2025-02-15 01:09:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

Improve base16 themes for better Man page syntax highlighting

Browse Source
This commit is contained in:
Keith Hall 2024-06-09 09:05:19 +03:00 committed by Keith Hall
parent 5a12f187fa
commit 0d2afe79af
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
assets/themes/base16-256.tmTheme vendored
View File

@ -257,7 +257,7 @@
<key>name</key> <key>name</key>
<string>Tags</string> <string>Tags</string>
<key>scope</key> <key>scope</key>
<string>entity.name.tag</string> <string>entity.name.tag, entity.name</string>
<key>settings</key> <key>settings</key>
<dict> <dict>
<key>foreground</key> <key>foreground</key>
@ -312,7 +312,7 @@
<key>name</key> <key>name</key>
<string>Headings</string> <string>Headings</string>
<key>scope</key> <key>scope</key>
<string>markup.heading punctuation.definition.heading, entity.name.section</string> <string>markup.heading punctuation.definition.heading, entity.name.section, markup.heading - text.html.markdown</string>
<key>settings</key> <key>settings</key>
<dict> <dict>
<key>fontStyle</key> <key>fontStyle</key>

4
assets/themes/base16.tmTheme vendored
View File

@ -256,7 +256,7 @@
<key>name</key> <key>name</key>
<string>Tags</string> <string>Tags</string>
<key>scope</key> <key>scope</key>
<string>entity.name.tag</string> <string>entity.name.tag, entity.name</string>
<key>settings</key> <key>settings</key>
<dict> <dict>
<key>foreground</key> <key>foreground</key>
@ -311,7 +311,7 @@
<key>name</key> <key>name</key>
<string>Headings</string> <string>Headings</string>
<key>scope</key> <key>scope</key>
<string>markup.heading punctuation.definition.heading, entity.name.section</string> <string>markup.heading punctuation.definition.heading, entity.name.section, markup.heading - text.html.markdown</string>
<key>settings</key> <key>settings</key>
<dict> <dict>
<key>fontStyle</key> <key>fontStyle</key>