From cf76b5857a9129e25c7c2f054340a1a7fed471cd Mon Sep 17 00:00:00 2001
From: PerilousBooklet <raffaele.orabona@protonmail.com>
Date: Sat, 24 Feb 2024 01:46:28 +0100
Subject: [PATCH] Added .pyi extension to python. (#1728)

---
 data/plugins/language_python.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/plugins/language_python.lua b/data/plugins/language_python.lua
index 220ddd54..f7c09ac3 100644
--- a/data/plugins/language_python.lua
+++ b/data/plugins/language_python.lua
@@ -3,7 +3,7 @@ local syntax = require "core.syntax"
 
 syntax.add {
   name = "Python",
-  files = { "%.py$", "%.pyw$", "%.rpy$" },
+  files = { "%.py$", "%.pyw$", "%.rpy$", "%.pyi$" },
   headers = "^#!.*[ /]python",
   comment = "#",
   block_comment = { '"""', '"""' },