GGB Javascript初探(1)
var names = ggbApplet.getAllObjectNames("text");
alert(names.length)
for (vari= 0;i< names.length; i++){
var name = names[i];
ggbApplet.setFixed(name, true, false);
if (ggbApplet.getColor(name) == "#FF0000") {
ggbApplet.setColor(name, 0, 0, 0);
} else {
ggbApplet.setColor(name, 255, 0, 0);
ggbApplet.setCoords(name, 0,i *0.8)
}