version 1.72, 2011/11/18 18:02:04
|
version 1.73, 2011/11/18 18:54:21
|
Line 425 document.ggbApplet_$id.evalCommand("$poi
|
Line 425 document.ggbApplet_$id.evalCommand("$poi
|
document.ggbApplet_$id.evalCommand("$anglelabel=Angle[$pointlabel,$startlabel,$endlabel]"); |
document.ggbApplet_$id.evalCommand("$anglelabel=Angle[$pointlabel,$startlabel,$endlabel]"); |
document.ggbApplet_$id.setLabelVisible("$anglelabel",true); |
document.ggbApplet_$id.setLabelVisible("$anglelabel",true); |
document.ggbApplet_$id.setLabelStyle("$anglelabel",VALUE=2); |
document.ggbApplet_$id.setLabelStyle("$anglelabel",VALUE=2); |
// Keeps track of points we care about (This should use the same listener function we use in graph problems) |
document.ggbApplet_$id.registerObjectUpdateListener('$startlabel','updatePointCoordinates_$id'); |
//document.ggbApplet1.registerObjectUpdateListener('Gravitystart','updatePointCoordinates'); |
document.ggbApplet_$id.registerObjectUpdateListener('$endlabel','updatePointCoordinates_$id'); |
//document.ggbApplet1.registerObjectUpdateListener('Gravityend','updatePointCoordinates'); |
document.ggbApplet_$id.registerObjectUpdateListener('$anglelabel','updatePointCoordinates_$id'); |
//document.ggbApplet1.registerObjectUpdateListener('GravityAngle','updatePointCoordinates'); |
|
ENDVECTOR |
ENDVECTOR |
} |
} |
|
|