1
0
mirror of https://github.com/sharkdp/bat.git synced 2025-09-28 16:12:30 +01:00

Compare commits

..

1 Commits

Author SHA1 Message Date
dependabot[bot]
c6b8f27bd2 build(deps): bump assets/syntaxes/02_Extra/Idris2
Bumps [assets/syntaxes/02_Extra/Idris2](https://github.com/buzden/sublime-syntax-idris2) from `7c1bf44` to `49b4b64`.
- [Commits](7c1bf44c4f...49b4b64185)

---
updated-dependencies:
- dependency-name: assets/syntaxes/02_Extra/Idris2
  dependency-version: 49b4b64185183f71f1b17f252c4d0c90f576c24d
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
2025-09-27 13:44:34 +00:00
3 changed files with 2 additions and 3 deletions

View File

@@ -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

View File

@@ -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>