On 2014/07/11 13:59:08, Yang wrote:
On 2014/07/11 10:44:49, Yang wrote:

I'm not entirely happy about this though. The filter of events is in V8. But I would argue that it should be the embedder who filters out events that are not
interesting. To do that, I would have to export the list of possible event
types
to the API, so that the callback installed by chrome can use it to filter out
uninteresting events.

LGTM

(Sorry the delay, the email notification got lost)

https://codereview.chromium.org/388783004/

--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to