- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 02 Aug 2010 15:34:25 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/markup/js
In directory hutz:/tmp/cvs-serv3563/js
Modified Files:
jump-indexes.js
Log Message:
build tweak
Index: jump-indexes.js
===================================================================
RCS file: /sources/public/html5/markup/js/jump-indexes.js,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- jump-indexes.js 2 Aug 2010 11:27:39 -0000 1.1
+++ jump-indexes.js 2 Aug 2010 15:34:23 -0000 1.2
@@ -55,7 +55,7 @@
indexDiv.appendChild(p);
}
var posY = event.pageY + 22;
- var posX = event.pageX - 399;
+ var posX = event.pageX - 450;
indexDiv.setAttribute("style","top: " + posY+ "px; left: " + posX + "px;");
document.getElementById('jump-indexes').appendChild(indexDiv);
jumpIndexA = indexDiv;
Received on Monday, 2 August 2010 15:34:26 UTC