Hello, one month ago I sent a suggestion about using DOMHighResTimeStamps [1] instead of / in addition to DOMTimeStamps for DOM events. Considering the absence of any answer or comment, I wonder whether Is this the right list / procedure to ask for this kind of improvements or not. Any hint will be very appreciated. Thank you for your attention. [1] http://www.w3.org/TR/2012/WD-hr-time-20120313/ -- Pablo Garaizar Sagarminaga Universidad de Deusto Avda. de las Universidades 24 48007 Bilbao - Spain Phone: +34-94-4139000 Ext 2512 Fax: +34-94-4139101Received on Wednesday, 11 April 2012 16:47:33 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:37:00 UTC