[whatwg] A few editing suggestions for the HTML5 spec

[Kristof Zelechovski]

Pressing a button when the user agent is in paused state should cause the
button to remain pressed until the user agent wakes up and execution of the
associated event handlers should be deferred.
Chris

-----Original Message-----
From: whatwg-bounces at lists.whatwg.org
[mailto:whatwg-bounces at lists.whatwg.org] On Behalf Of Geoffrey Garen
Sent: Sunday, April 15, 2007 12:15 AM
To: whatwg at whatwg.org
Subject: [whatwg] A few editing suggestions for the HTML5 spec

Hi folks.

I just read through the HTML5 spec for the first time. It looks  
great, and I appreciate all the hard work that everyone has done.

While reading through, I noticed a few edits that might improve  
clarity. I'm posting them here in a "take 'em or leave 'em" fashion  
-- take what you like, leave the rest.

Thanks,
Geoff

"Some of the algorithms in this specification, for historical  
reasons, require the user agent to pause until some condition has  
been met. While a user agent is paused, it must ensure that no  
scripts execute (e.g. no event handlers, no timers, etc). User agents  
should remain responsive to user input while paused, however."

How should a user agent respond to user input that would cause an  
event handler to fire, like clicking on a button?