frank/sharkdp--bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat synced 2026-08-10 20:01:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Patch 1337 theme for better Man page syntax highlighting

Browse Source
This commit is contained in:
Keith Hall
2024-06-09 09:02:05 +03:00
committed by Keith Hall
parent 753bfaff49
commit 5a12f187fa
1 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
assets/patches/1337.tmTheme.patch
Vendored
+22
View File
@@ -0,0 +1,22 @@
diff --git themes/1337-Scheme/1337.tmTheme themes/1337-Scheme/1337.tmTheme
index fdff5bf..8cfc888 100644
--- themes/1337-Scheme/1337.tmTheme
+++ themes/1337-Scheme/1337.tmTheme
@@ -280,7 +280,7 @@ SOFTWARE.
<key>name</key>
<string>PHP Namespaces</string>
<key>scope</key>
- <string>support.other.namespace, entity.name.type.namespace</string>
+ <string>support.other.namespace, entity.name.type.namespace, entity.name</string>
<key>settings</key>
<dict>
<key>foreground</key>
@@ -561,7 +561,7 @@ SOFTWARE.
<key>name</key>
<string>diff.header</string>
<key>scope</key>
- <string>meta.diff, meta.diff.header</string>
+ <string>meta.diff, meta.diff.header, markup.heading</string>
<key>settings</key>
<dict>
<key>foreground</key>