mirror of
https://github.com/sharkdp/bat.git
synced 2025-09-28 16:12:30 +01:00
Compare commits
1 Commits
ansi_theme
...
dependabot
Author | SHA1 | Date | |
---|---|---|---|
|
c6b8f27bd2 |
@@ -64,7 +64,6 @@
|
||||
- Updated Catppuccin, see #3333 (@SchweGELBin)
|
||||
- Updated gruvbox, see #3372 (@Nicholas42)
|
||||
- Updated GitHub theme, see #3382 (@CosmicHorrorDev)
|
||||
- Updated ANSI theme to highlight JSON object keys differently from values, see #3413 (@keith-hall)
|
||||
|
||||
## `bat` as a library
|
||||
|
||||
|
2
assets/syntaxes/02_Extra/Idris2
vendored
2
assets/syntaxes/02_Extra/Idris2
vendored
Submodule assets/syntaxes/02_Extra/Idris2 updated: 7c1bf44c4f...2874f206f5
2
assets/themes/ansi.tmTheme
vendored
2
assets/themes/ansi.tmTheme
vendored
@@ -234,7 +234,7 @@
|
||||
<key>name</key>
|
||||
<string>Headings</string>
|
||||
<key>scope</key>
|
||||
<string>markup.heading punctuation.definition.heading, entity.name.section, markup.heading - text.html.markdown, meta.mapping.key string.quoted.double</string>
|
||||
<string>markup.heading punctuation.definition.heading, entity.name.section, markup.heading - text.html.markdown</string>
|
||||
<key>settings</key>
|
||||
<dict>
|
||||
<key>fontStyle</key>
|
||||
|
Reference in New Issue
Block a user