# with dynamic highlight color, check that the face is
# not highlighted
vmoveto 280 290
-if {[vreadpixel 297 297 name] != "CYAN1 1"} {
+if {[vreadpixel 297 297 name] != "CYAN 1"} {
puts "ERROR: zoom persistent box is not highlighted dynamically!"
}
if {[vreadpixel 372 210 name] != "GOLDENROD1 1"} {
# will be highlighted dynamically
vmoveto 264 135
-if {[vreadpixel 275 142 name] != "CYAN1 1"} {
+if {[vreadpixel 275 142 name] != "CYAN 1"} {
puts "ERROR: zoom persistent box is not highlighted dynamically in precision test!"
}
if {[vreadpixel 243 123 name] != "LIGHTGOLDENROD1 1"} {
if {[vreadpixel 275 142 name] != "GOLDENROD3 1"} {
puts "ERROR: zoom persistent box is highlighted instead in precision test!"
}
-if {[vreadpixel 243 123 name] != "CYAN1 1"} {
+if {[vreadpixel 243 123 name] != "CYAN 1"} {
puts "ERROR: the shape behind zoom persistent object was not highlighted dynamically in precision test!"
}
vdump ${imagedir}/${casename}_3.png