7

I've noticed that the symbol list for syntax highlighting doesn't include many symbols that are new in version 12. For example:

enter image description here

You can see that Reverse is highlighted correctly, while SubsetMap is not.

If possible, the list of symbols in the syntax highlighter should include all symbols in this list.

If the syntax highlighting code is available somewhere I'm happy to make the pull request - I just need to be pointed to it 🙂

10

Note: Heavily updated

I'm in charge of this. For the new version 12, I used last weekend to completely restructure the code and move it to a new repository:

I spend a good amount of time to document how it works and to prepare examples and tests. The final highlighter script is either lang-mma.min.js or lang-mma-alternative-regex.min.js and the README explains the difference in detail.

If you clone the repository, you can directly try the highlighter by opening JSHighlighter/index.html locally. If you have some knowledge with the Chrome developer tools, you can also use local overrides to try it on the live StackExchange site.

It would be great if some other users could look over it and try it before I make a release. After that, we need to bug SE staff that they update the script for our site. We learned that their workload is currently high, so we should not expect a quick solution though. But we can ask.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .