Skip to content

Add pyi as short name for python#2773

Merged
birkenfeld merged 2 commits intopygments:masterfrom
calumy:add-pyi-short-name
Aug 28, 2024
Merged

Add pyi as short name for python#2773
birkenfeld merged 2 commits intopygments:masterfrom
calumy:add-pyi-short-name

Conversation

@calumy
Copy link
Copy Markdown
Contributor

@calumy calumy commented Aug 27, 2024

It would be useful if .pyi code blocks could be syntax highlighted as Python code blocks. Currently, the .pyi file extension is included in file names, and this PR updates it to be used in the sort names too.

This cropped up when trying to add syntax highlighting in this issue: astral-sh/ruff#13116.

@calumy calumy marked this pull request as draft August 27, 2024 16:44
@birkenfeld
Copy link
Copy Markdown
Member

Thanks for the PR, if you want this to be merged please keep the style consistent (space after comma, single quotes).
Also run tox -e mapfiles.

@calumy calumy force-pushed the add-pyi-short-name branch from 7947991 to 453c95b Compare August 27, 2024 21:34
@calumy calumy marked this pull request as ready for review August 27, 2024 21:35
@calumy
Copy link
Copy Markdown
Contributor Author

calumy commented Aug 27, 2024

Thanks for the PR, if you want this to be merged please keep the style consistent (space after comma, single quotes). Also run tox -e mapfiles.

Apologies. Updated now.

Should a change log note also be added?

@birkenfeld
Copy link
Copy Markdown
Member

Thank you very much! No, for such small changes we usually don't bother with changelog entries.

@Anteru Anteru added this to the 2.19.0 milestone Aug 28, 2024
@Anteru
Copy link
Copy Markdown
Collaborator

Anteru commented Aug 28, 2024

@birkenfeld I've added those to the change log in the past, mostly because it's easier for me to make sure every PR has been processed when writing the changelog, instead of selectively skipping over PRs.

@birkenfeld
Copy link
Copy Markdown
Member

Ok, fair enough 👍 But in any case, the entry is written after the fact, not part of the PR.

@birkenfeld birkenfeld merged commit 8c2d84e into pygments:master Aug 28, 2024
@Anteru Anteru added the changelog-update Items which need to get mentioned in the changelog label Aug 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-update Items which need to get mentioned in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants