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
Add an attachment (proposed patch, testcase, etc.)

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".