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

Bug 250

Summary: Syntax errors in editor are not erased
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 3   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-01-09 19:22:15 CET
The new editor with syntax highlighting introduced in alpha 3 does not erase syntax errors when one 
starts to edit the contest. Instead, the error messages moves arround as text is inserted or erased.
Comment 1 Gerd Behrmann 2006-01-11 16:25:03 CET
Fixed on the trunk. The fix simply removes the errors as soon as the code is edited. More elegant 
solutions may exist, but it works...