Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Processing not highlighting with PDE #3142

Closed
DylanMcBean opened this issue Apr 16, 2021 · 1 comment · Fixed by #3144
Closed

Processing not highlighting with PDE #3142

DylanMcBean opened this issue Apr 16, 2021 · 1 comment · Fixed by #3144
Labels
enhancement An enhancement or new feature good first issue Should be easier for first time contributors help welcome Could use help from community language

Comments

@DylanMcBean
Copy link
Contributor

DylanMcBean commented Apr 16, 2021 •
edited

Describe the issue
Processing doesnt doesn't get highlighted with pde shorthand

Which language seems to have the issue?
the language that is effect here is the Processing language

Are you using highlight or highlightAuto?
im not sure what discord uses specifically
...

Sample Code to Reproduce
No code needed

Expected behavior
I think Processing should highlight with processing aswell as pde, the reasoning behind this is well Javascript highlights with javascript and js, js being the javascript file extension. so Processing highlighting with pde would make sense since it is the file extension used by processing

Additional context
None Needed
@DylanMcBean DylanMcBean added bug help welcome Could use help from community language labels Apr 16, 2021
@joshgoebel joshgoebel added the good first issue Should be easier for first time contributors label Apr 16, 2021
@joshgoebel
Copy link
Member

A PR would be accepted for this.

@joshgoebel joshgoebel added enhancement An enhancement or new feature and removed bug labels Apr 16, 2021
@joshgoebel joshgoebel mentioned this issue Apr 16, 2021
Closed
2 tasks
@DylanMcBean DylanMcBean mentioned this issue Apr 16, 2021
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement An enhancement or new feature good first issue Should be easier for first time contributors help welcome Could use help from community language
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Added pde alias DylanMcBean/highlight.js
Added pde alias
2 participants
@joshgoebel @DylanMcBean