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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 3
Hardware:	All
OS:	All
Architecture:

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