Bug 594

Summary: Syntax highlighting of comments
Product: UPPAAL Reporter: Erik Ramsgaard Wognsen <erw>
Component: GUIAssignee: 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

Description Erik Ramsgaard Wognsen 2015-04-30 13:19:27 CEST
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".