Pluscal not highlighted

[garrensmith]

This addon is so awesome. It works great for tla+ but it doesn't seem to support writing pluscal. See the image below, the pluscal isn't syntax highted

Would you be able to add syntax highlighting for pluscal?

[wysiib]

Of course it should work for pluscal. Just to be sure, how would you have expected the example to be highlighted?

[garrensmith]

I was hoping that the pluscal in the comments section would be syntax highlighted as well. I'm writing in pluscal and then getting it translated into tla+.

[wysiib]

Noted. In addition: should pluscal simply use the same highlighting rules tla+ itself uses?

[garrensmith]

Yes. The same would be ideal. Thanks for this library. Using atom for tla+ is awesome

[wysiib]

Okay, I'll have to figure out why it does not recognize the special comment including pluscal and thinks it is a regular comment. Will look into it in the coming days!

[wysiib]

I just released an updated version including preliminary support for PlusCal comments. Please check it out and report any further issues you find.

[garrensmith]

Works great. Thank you