5 ###################################################################
6 puts "Highlighting with color remains visible when shape is erased"
7 ###################################################################
13 vdisplay b -dispmode 1
17 vdump $imagedir/${casename}_highlighted.png
21 vdump $imagedir/${casename}_erased.png