From: SourceForge.net <no...@so...> - 2012-06-26 19:27:41
|
Bugs item #3538217, was opened at 2012-06-26 12:27 Message generated for change (Tracker Item Submitted) made by obouda You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3538217&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Visio Interface Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Ondřej Bouda (obouda) Assigned to: Martin Bezděka (mbezdeka) Summary: Race marks remain even after repaint Initial Comment: One would like to use the repaint function to clear results of the race condition checker. While all the shapes stored in the internal structure (i.e., message arrows) are reset, the circles marking the events in the race remain in the drawing. Lubos found out the bug while preparing some time races. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3538217&group_id=219467 |