diff options
| author | Amaan Qureshi <amaanq12@gmail.com> | 2023-03-21 19:57:33 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2023-03-21 19:57:33 +0000 |
| commit | 4a5c39fc52a73d46ac77cf574f765a465befc3c0 (patch) | |
| tree | 4053da8d2c4e77b3a861347b21ece12a1567a185 | |
| parent | 5fedb8a5ab7addb584728c89e809be190de992bf (diff) | |
patch 9.0.1419: Lean files are not recognizedv9.0.1419
Problem: Lean files are not recognized.
Solution: Add a pattern for Lean files. (Amaan Qureshi, closes #12177)
| -rw-r--r-- | runtime/filetype.vim | 3 | ||||
| -rw-r--r-- | src/testdir/test_filetype.vim | 1 | ||||
| -rw-r--r-- | src/version.c | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/runtime/filetype.vim b/runtime/filetype.vim index d68c273bc7..0fe303c118 100644 --- a/runtime/filetype.vim +++ b/runtime/filetype.vim @@ -1112,6 +1112,9 @@ au BufNewFile,BufRead *.ldif setf ldif " Ld loader au BufNewFile,BufRead *.ld setf ld +" Lean +au BufNewFile,BufRead *.lean setf lean + " Ledger au BufRead,BufNewFile *.ldg,*.ledger,*.journal setf ledger diff --git a/src/testdir/test_filetype.vim b/src/testdir/test_filetype.vim index 41cac26b3c..6b1b47bab2 100644 --- a/src/testdir/test_filetype.vim +++ b/src/testdir/test_filetype.vim @@ -320,6 +320,7 @@ let s:filename_checks = { \ 'latte': ['file.latte', 'file.lte'], \ 'ld': ['file.ld'], \ 'ldif': ['file.ldif'], + \ 'lean': ['file.lean'], \ 'ledger': ['file.ldg', 'file.ledger', 'file.journal'], \ 'less': ['file.less'], \ 'lex': ['file.lex', 'file.l', 'file.lxx', 'file.l++'], diff --git a/src/version.c b/src/version.c index 45be73e13d..379980a4f8 100644 --- a/src/version.c +++ b/src/version.c @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1419, +/**/ 1418, /**/ 1417, |