Adapt highlighting of objects: Difference between revisions
From JSXGraph Wiki
A WASSERMANN (talk | contribs) No edit summary |
A WASSERMANN (talk | contribs) No edit summary |
||
| 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(){ | ||
