Use high precision timestamp for Event.timestamp

third_party/WebKit/Source/core/html/forms/TypeAhead.h

Index: third_party/WebKit/Source/core/html/forms/TypeAhead.h
diff --git a/third_party/WebKit/Source/core/html/forms/TypeAhead.h b/third_party/WebKit/Source/core/html/forms/TypeAhead.h
index fd71c960b0120ea6c6f4f98ff92827da0dea6659..f5dea5ed5d91a5796b1a9b7155b050a9a53c27d7 100644
--- a/third_party/WebKit/Source/core/html/forms/TypeAhead.h
+++ b/third_party/WebKit/Source/core/html/forms/TypeAhead.h
@@ -64,7 +64,7 @@ public:
 
 private:
     TypeAheadDataSource* m_dataSource;
-    DOMTimeStamp m_lastTypeTime;
+    double m_lastTypeTime;

[Rick Byers, 2015/09/25 17:29:33]

Can this be a DOMHighRestTimestamp to make it clear what the semantics are?  Or
perhaps we should typedef something new?  Just a shame to loose some
documentation here about what exactly the double represents.

[majidvp, 2015/09/29 14:21:31]

This is not really a DOMHighResTimeStamp but the actual platform timestamp in
seconds.
Converting to DOMHighRestTimeStamp and using Event.timeStamp is not appropriate
here because we only care about the delta and extra calculations to convert are
unnecessary and confusing. 

[Rick Byers, 2015/09/29 15:57:59]

Thanks, makes sense.  Adding the comment is good enough for me.

     UChar m_repeatingChar;
     StringBuilder m_buffer;
 };