ground/ground-old
Archived
3
2
Fork 1
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Add Python Highlighting Script #12

Merged
max merged 1 commits from DiamondNether90/ground_old_fork:master into master 2025-08-31 21:05:03 +10:00
Conversation 3 Commits 1 Files Changed 1 +53
DiamondNether90 commented 2025-08-31 19:06:22 +10:00
Member
Copy Link

This code highlights ground syntax, allowing users to check their code for any typos.

This code highlights ground syntax, allowing users to check their code for any typos.
DiamondNether90 added 1 commit 2025-08-31 19:06:22 +10:00
Add docs/highlight.py a3b9cd2519
max commented 2025-08-31 21:04:50 +10:00
Owner
Copy Link

Would be cool if it was written in Ground, but I like it. Merging in a moment

Would be cool if it was written in Ground, but I like it. Merging in a moment
max merged commit 074b473bb1 into master 2025-08-31 21:05:03 +10:00
DiamondNether90 commented 2025-09-01 06:16:56 +10:00
Author
Member
Copy Link

That's why I wanted the coloured text lol

That's why I wanted the coloured text lol
DiamondNether90 commented 2025-09-01 06:19:01 +10:00
Author
Member
Copy Link

Also it's pretty easy to edit, just add new keywords to the keywords list (line 11).

Also it's pretty easy to edit, just add new keywords to the keywords list (line 11).
This repo is archived. You cannot comment on pull requests.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
DiamondNether90 SpookyDervish max
No Assignees
2 Participants
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ground/ground-old#12
Delete Branch "DiamondNether90/ground_old_fork:master"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?