Re: High Resolution Time API and DOM events from Pablo Garaizar on 2012-04-11 (www-dom@w3.org from April to June 2012)

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

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

Received on Wednesday, 11 April 2012 16:47:33 UTC