| Summary: | Syntax highlighting of comments | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Erik Ramsgaard Wognsen <erw> |
| Component: | GUI | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | minor | CC: | adavid |
| Priority: | P5 | ||
| Version: | 4.1.20 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
| Attachments: | A minimal example to demo the bug | ||
Created attachment 277 [details] A minimal example to demo the bug In uppaal-stratego-4.1.20-pre4, the syntax highlighting in Declarations does not agree with how other parts of the GUI parses the code. Example Declarations: /*/ int x; /*/ These three lines are highlighted as brown, green/black, and brown. Green/black meaning that it is active, uncommented code. However, when I refer to 'x' in a template, I get "Unknown identifier: x".