Skip to content

languages.toml: Add GPX extension to XML #14300

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 25, 2025

Conversation

vitorgalvao
Copy link
Contributor

The GPS Exchange Format, with a gpx file extension, is XML.

languages.toml Outdated
@@ -2995,7 +2995,8 @@ file-types = [
"sublime-snippet",
"xsl",
"mpd",
"smil"
"smil",
"gpx"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"gpx"
"gpx",

If we add the comma already (and formatting doesn't complain), that will make future diffs nicer :)

Copy link
Contributor Author

@vitorgalvao vitorgalvao Aug 24, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes no difference to me, but there are others which don’t have the trailing comma at the end of file-types:

  • json
  • yaml
  • ini
  • nginx
  • debian

Would it be desirable to have a PR to add those as well?

Also, fine by me if a maintainer wants to directly edit the PR or close and do it themselves. I know that’s often faster and easier than having a back and forth discussion. Whatever you prefer.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's add the trailing comma here for now and we can eventually add it to the other languages when there are future modifications to their file-types

Co-authored-by: Poliorcetics <[email protected]>
@the-mikedavis the-mikedavis merged commit cc8e890 into helix-editor:master Aug 25, 2025
7 checks passed
@vitorgalvao vitorgalvao deleted the patch-1 branch August 25, 2025 13:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants