Bug 479267 - [Feature request] New Syntax: TLA+
Summary: [Feature request] New Syntax: TLA+
Status: REPORTED
Alias: None
Product: frameworks-syntax-highlighting
Classification: Frameworks and Libraries
Component: syntax (other bugs)
Version First Reported In: unspecified
Platform: Other Other
: NOR wishlist
Target Milestone: ---
Assignee: KWrite Developers
URL: https://invent.kde.org/frameworks/syn...
Keywords:
Depends on:
Blocks:
 
Reported: 2024-01-01 17:18 UTC by Younes
Modified: 2024-01-01 17:33 UTC (History)
2 users (show)

See Also:
Latest Commit:
Version Fixed/Implemented In:
Sentry Crash Report:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Younes 2024-01-01 17:18:38 UTC 
MR: https://invent.kde.org/frameworks/syntax-highlighting/-/merge_requests/594

I've developed an XML syntax definition for TLA+ to be used with the Skylighting syntax highlighting library. This addition aims to provide syntax highlighting support for TLA+ code.

I followed the KDE syntax highlighting documentation to build the XML and included definitions for keywords, operators, comments, strings, and numerical values specific to TLA+. 

I'm new to the project so I have not tested it locally. I'd like to have your feedback /comments on this.