team-worthwhile/worthwhile — Issue #20: Reset highlighting for checked annotations when changing the source file
Author: tbormer
Created: 2012-02-07 17:13:09+00:00
State: open

WW highlights annotations during a program run as soon as they are evaluated.
If the user changes such an annotation expression that has been highlighted, at least the corresponding marker and highlighting should be reset. (Probably all markers should be cleared as soon as the user changes anything in the source)