[html5] r3901 - [e] (0) miscellaneous cleanup

[whatwg at whatwg.org]

Author: ianh
Date: 2009-09-18 02:00:51 -0700 (Fri, 18 Sep 2009)
New Revision: 3901

Modified:
   index
   source
Log:
[e] (0) miscellaneous cleanup

Modified: index
===================================================================
--- index	2009-09-18 08:57:42 UTC (rev 3900)
+++ index	2009-09-18 09:00:51 UTC (rev 3901)
@@ -76375,9 +76375,8 @@
   acknowledgements three times! -->
 
 <!--
-TODO (or delay):
- XXX * we should fix The Great Key Problem
- XXX * library of resources:
+v2 ideas:
+     * library of resources:
         var library = new ZipFile("data.zip");
         library.onload = function() {
           var sound1 = library.getAudio("sound1.wav"); // returns an Audio object
@@ -76398,6 +76397,9 @@
           var sound1 = library["sound1.wav"];
           sound.play();
         }
+-->
+<!--
+TODO:
  XXX * ability for a web app to save a file to the local disk:
          var file = window.openFile(); // throws up UI
          file.read();
@@ -76622,4 +76624,5 @@
  XXX * be clearer about arrays/lists/collections being zero-based
        despite using the term "/index/th".
 -->
+
  

Modified: source
===================================================================
--- source	2009-09-18 08:57:42 UTC (rev 3900)
+++ source	2009-09-18 09:00:51 UTC (rev 3901)
@@ -90068,7 +90068,6 @@
 <!--REFERENCES OFF-->
   </dl>
 
-
 <!--END websocket-api--><!--END storage--><!--END database--><!--END eventsource--><!--END workers-->
 
 
@@ -90562,9 +90561,8 @@
   acknowledgements three times! -->
 
 <!--
-TODO (or delay):
- XXX * we should fix The Great Key Problem
- XXX * library of resources:
+v2 ideas:
+     * library of resources:
         var library = new ZipFile("data.zip");
         library.onload = function() {
           var sound1 = library.getAudio("sound1.wav"); // returns an Audio object
@@ -90585,6 +90583,9 @@
           var sound1 = library["sound1.wav"];
           sound.play();
         }
+-->
+<!--
+TODO:
  XXX * ability for a web app to save a file to the local disk:
          var file = window.openFile(); // throws up UI
          file.read();
@@ -90809,6 +90810,7 @@
  XXX * be clearer about arrays/lists/collections being zero-based
        despite using the term "/index/th".
 -->
+
  </body>
 </html>
 <!--END html5-->