Adapt highlighting of objects: Difference between revisions

Revision as of 16:37, 18 December 2009

@@ Line 19: / Line 19: @@
      infobox.setProperty({visible:false});
 }
-/*
 c.highlight = function(){
-     infobox.innerHTML = 'circle '+this.name;
+     infobox.coords = new JXG.Coords(JXG.COORDS_BY_SCREEN,[this.board.mousePosRel[0]+20,this.board.mousePosRel[1]+20], this.board);
-    infobox.style.left = (this.board.mousePosAbs[0]+20)+'px';
+     infobox.setText(this.board.mousePosRel.toString());
-     infobox.style.top = (this.board.mousePosAbs[1]-20)+'px';
+     infobox.setProperty({visible:true});
-     infobox.style.display = 'block';
+    infobox.update();
 }
 c.noHighlight = function(){
-     infobox.style.display = 'none';
+     infobox.setProperty({visible:false});
 }
-*/
 </jsxgraph>