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.

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