touchevents.html
branchv1
changeset 194 bb8c57f3af32
parent 193 6f2c52cd50f6
child 200 504e8b9d4fa0
equal deleted inserted replaced
193:6f2c52cd50f6 194:bb8c57f3af32
    79           // This is important for Rec-track documents, do not copy a patent URI from a random
    79           // This is important for Rec-track documents, do not copy a patent URI from a random
    80           // document unless you know what you're doing. If in doubt ask your friendly neighbourhood
    80           // document unless you know what you're doing. If in doubt ask your friendly neighbourhood
    81           // Team Contact.
    81           // Team Contact.
    82           wgPatentURI:  "http://www.w3.org/2004/01/pp-impl/45559/status",
    82           wgPatentURI:  "http://www.w3.org/2004/01/pp-impl/45559/status",
    83       };
    83       };
       
    84     </script>
       
    85     <script type="text/javascript" id="fixuphook">
       
    86     (function () {
       
    87         // Hacky fix-up hook to patch up return types generated by respec.js, as special
       
    88         // operations like the ones in specialOps are not officially supported.
       
    89         var specialOps = ['getter ', 'setter ', 'creator ', 'deleter ', 'caller ', 'omittable '];
       
    90         var fixUpCaller = window.setInterval(function() {
       
    91             
       
    92             // Check if respec.js is done.
       
    93             var respecJS = document.querySelectorAll(".remove");
       
    94             if (respecJS.length > 0) return;
       
    95             
       
    96             else
       
    97             {
       
    98                 // Performance-wise, this is a stupid idea. For long specs it's probably
       
    99                 // going to take a *extremely* long time to finish. You have been warned.
       
   100                 var tags = document.getElementsByTagName('a');
       
   101             
       
   102                 for (var i = 0; i < tags.length; i++)
       
   103                     for (var j = 0; j < specialOps.length; j++)
       
   104                         if (tags[i].textContent.indexOf(specialOps[j]) === 0 &&
       
   105                             tags[i].parentNode.previousSibling.textContent.indexOf('Return type:') !== -1)
       
   106                             tags[i].textContent = tags[i].textContent.substring(specialOps[j].length - 1);
       
   107                 
       
   108                 // Clean-up script element and interval caller
       
   109                 var fixUpEl = document.getElementById('fixuphook');
       
   110                 fixUpEl.parentNode.removeChild(fixUpEl);
       
   111                 
       
   112                 window.clearInterval(fixUpCaller);
       
   113             }
       
   114         }, 100);
       
   115     })();
    84     </script>
   116     </script>
    85 
   117 
    86     <style type="text/css">
   118     <style type="text/css">
    87       .event {
   119       .event {
    88         font-family: monospace;
   120         font-family: monospace;