From b7405348e328fa9c1775a24794de2c595525aaaf Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Thu, 5 Dec 2024 13:32:49 +0100 Subject: [PATCH] feat: add pyi to python file extensions --- src/syntax/src/file_types.zig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/syntax/src/file_types.zig b/src/syntax/src/file_types.zig index 13dc274..43795bf 100644 --- a/src/syntax/src/file_types.zig +++ b/src/syntax/src/file_types.zig @@ -343,7 +343,7 @@ pub const purescript = .{ pub const python = .{ .color = 0xffd845, .icon = "󰌠", - .extensions = .{"py"}, + .extensions = .{"py", "pyi"}, .comment = "#", .first_line_matches = .{ .prefix = "#!", .content = "python" }, .language_server = .{"pylsp"},