Added .pyi extension to python. (#1728)

lite-xl · Feb 24, 2024 · 03b8c23 · 03b8c23
1 parent 2e8d59b
commit 03b8c23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 = { '"""', '"""' },