| Summary: | sync is recognized as a keyword | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
| Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
| Status: | RESOLVED FIXED | ||
| Severity: | trivial | CC: | adavid, marius |
| Priority: | P2 | ||
| Version: | 4.0.2 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
|
Description
Gerd Behrmann
2006-10-12 13:38:45 CEST
On the other hand, you could argue that it is acceptable that 'sync' is highlighted: Since it is indeed a keyword in the ta format, it is not allowed as an identifier anywhere. Thus highlighting it gives a hint that it is actually a keyword (even though it is not usable from the gui). I need input from others on this issue. Please comment. I may add that 'meta' is not recognised as a keyword. I guess it should be shown in bold face just like 'const'. The scalar keyword should probably also be shown in bold. I am about to add the following highlights: enum - green (as type) scalar - green (as type) priority - bold (as keyword) meta - bold (as prefix) progress - bold (as keyword) switch - bold (as keyword) case - bold (as keyword) default - bold (as keyword) added the tokens on trunk in rev. 3558 |