Added .pyi extension to python. (#1728)

This commit is contained in:
PerilousBooklet 2024-02-24 01:46:28 +01:00 committed by George Sokianos
parent 8fd5c78312
commit cf76b5857a
1 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@ local syntax = require "core.syntax"
syntax.add { syntax.add {
name = "Python", name = "Python",
files = { "%.py$", "%.pyw$", "%.rpy$" }, files = { "%.py$", "%.pyw$", "%.rpy$", "%.pyi$" },
headers = "^#!.*[ /]python", headers = "^#!.*[ /]python",
comment = "#", comment = "#",
block_comment = { '"""', '"""' }, block_comment = { '"""', '"""' },