Difference between revisions of "Adapt highlighting of objects"

From JSXGraph Wiki
Jump to: navigation, search
Line 14: Line 14:
 
     infobox.setText(this.board.mousePosRel.toString());
 
     infobox.setText(this.board.mousePosRel.toString());
 
     infobox.setProperty({visible:true});
 
     infobox.setProperty({visible:true});
 +
    infobox.update();
 
}
 
}
 
JXG.Line.prototype.noHighlight = function(){
 
JXG.Line.prototype.noHighlight = function(){

Revision as of 17:36, 18 December 2009

The JavaScript code