comparison 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
comparison
equal deleted inserted replaced
1702:06791667937e 1703:6f2f74cc4ead
1729 // ID generation 1729 // ID generation
1730 1730
1731 var nextId = 0; 1731 var nextId = 0;
1732 1732
1733 function fresh() { 1733 function fresh() {
1734 return (--nextId).toString(); 1734 return "uw" + (--nextId);
1735 } 1735 }
1736 1736
1737 1737
1738 // App-specific code 1738 // App-specific code