diff lib/js/urweb.js @ 1703:6f2f74cc4ead

Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
author Adam Chlipala <adam@chlipala.net>
date Fri, 16 Mar 2012 08:42:51 -0400
parents 06791667937e
children acadf9d1214a
line wrap: on
line diff
--- a/lib/js/urweb.js	Wed Mar 14 10:10:56 2012 -0400
+++ b/lib/js/urweb.js	Fri Mar 16 08:42:51 2012 -0400
@@ -1731,7 +1731,7 @@
 var nextId = 0;
 
 function fresh() {
-    return (--nextId).toString();
+    return "uw" + (--nextId);
 }