W3C home > Mailing lists > Public > www-dom@w3.org > April to June 2012

Re: High Resolution Time API and DOM events

From: Pablo Garaizar <garaizar@deusto.es>
Date: Wed, 11 Apr 2012 18:47:03 +0200
Message-ID: <CACr0rknm1rRo_v8tuv_JL_1FQSh0G-ZE0mmGiqfEQCAGTsVd9A@mail.gmail.com>
To: www-dom@w3.org

  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-4139101
Received 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