Difference between revisions of "Adapt highlighting of objects"
From JSXGraph Wiki
Jump to navigationJump to searchA WASSERMANN (talk | contribs) |
A WASSERMANN (talk | contribs) |
||
| 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(){ | ||
