From a613f7d9361f504290757c686d87f56dc1e7b088 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 16 Mar 2012 08:42:51 -0400 Subject: Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch) --- lib/js/urweb.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/js/urweb.js') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 5a18e17c..74badd36 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -1731,7 +1731,7 @@ function bless(s) { var nextId = 0; function fresh() { - return (--nextId).toString(); + return "uw" + (--nextId); } -- cgit v1.2.3