This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 594 - Syntax highlighting of comments
Summary: Syntax highlighting of comments
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.20
Hardware: PC Linux
: P5 minor
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2015-04-30 13:19 CEST by Erik Ramsgaard Wognsen
Modified: 2015-05-15 13:23 CEST (History)
1 user (show)

See Also:
Architecture:


Attachments
A minimal example to demo the bug (873 bytes, text/xml)
2015-04-30 13:19 CEST, Erik Ramsgaard Wognsen
Details

Note You need to log in before you can comment on or make changes to this 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".