diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-03-03 14:40:17 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-03-03 14:40:17 -0400 |
| commit | d8bbcd3fac574c06b2ec4d541d34081b41ef5439 (patch) | |
| tree | 0fbd7356adf052dbab26dc8a01028c86e4109e8a | |
| parent | b198c3b9e01257b375242b3aea3ac4fa4d3ba4ab (diff) | |
| download | lite-xl-plugins-d8bbcd3fac574c06b2ec4d541d34081b41ef5439.tar.gz lite-xl-plugins-d8bbcd3fac574c06b2ec4d541d34081b41ef5439.zip | |
language_diff: be more specific on the header format
| -rw-r--r-- | plugins/language_diff.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/language_diff.lua b/plugins/language_diff.lua index 7e17d80..4376b26 100644 --- a/plugins/language_diff.lua +++ b/plugins/language_diff.lua @@ -10,7 +10,7 @@ style.syntax["diff_del"] = { common.color "#F36161" } syntax.add { name = "Diff", files = { "%.diff$", "%.patch$", "%.rej$" }, - headers = "^diff ", + headers = "^diff %-", patterns = { -- Method the patch was generated with and source/target files { regex = "^diff .+", type = "function" }, |