We're updating the issue view to help you get more done. 

B editor tries to highlight non-classical-B code using the classical B lexer

Description

This works for Event-B most of the time (but not always, see PROB2UI-316), and completely fails for other languages (CSPM, TLA+, XTL, etc.).

Environment

None

Status

Assignee

Unassigned

Reporter

dgelessus

Labels

None

Priority

Major