From 4a5c39fc52a73d46ac77cf574f765a465befc3c0 Mon Sep 17 00:00:00 2001 From: Amaan Qureshi Date: Tue, 21 Mar 2023 19:57:33 +0000 Subject: patch 9.0.1419: Lean files are not recognized Problem: Lean files are not recognized. Solution: Add a pattern for Lean files. (Amaan Qureshi, closes #12177) --- runtime/filetype.vim | 3 +++ src/testdir/test_filetype.vim | 1 + src/version.c | 2 ++ 3 files changed, 6 insertions(+) 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 @@ -695,6 +695,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1419, /**/ 1418, /**/ -- cgit v1.2.3