- From: Domenic Denicola <notifications@github.com>
- Date: Fri, 13 May 2016 14:00:17 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc:
Received on Friday, 13 May 2016 21:00:44 UTC
Thanks. Oh, I just realized. Instead of pushing/incrementing and popping/decrementing, I should probably directly call "prepare to run script" and "clean up after running script". The difference is that "clean up after running script" would run global script clean-up jobs and perform a microtask checkpoint, which seems desirable. I'll push another commit making that change (and the ?/! linkification). Let me know if I'm wrong though and it should not do that. --- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/heycam/webidl/pull/113#issuecomment-219157876
Received on Friday, 13 May 2016 21:00:44 UTC