|Summary:||sync is recognized as a keyword|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
Description Gerd Behrmann 2006-10-12 13:38:45 CEST
The GUI highlights "sync" as a keyword. However, sync is only a keyword in the textual format.
Comment 1 Gerd Behrmann 2006-10-12 17:43:50 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.
Comment 2 Gerd Behrmann 2006-11-14 23:02:04 CET
I may add that 'meta' is not recognised as a keyword. I guess it should be shown in bold face just like 'const'.
Comment 3 Timothy Bourke 2007-11-02 07:33:48 CET
The scalar keyword should probably also be shown in bold.
Comment 4 Marius Mikučionis 2008-04-25 12:30:19 CEST
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)
Comment 5 Marius Mikučionis 2008-05-10 12:40:39 CEST
added the tokens on trunk in rev. 3558