Added .pyi extension to python. (#1728)

2024-03-23 20:26:43 +08:00
parent 4ac4f72198
commit e568e4acdf
1 changed files with 1 additions and 1 deletions
@@ -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 = { '"""', '"""' },