events on user setting text direction

At the face-to-face, we said:

> (Section 3.8)
>
> 28. There is no need to trigger the oninput event
> when the user explicitly sets the direction of an
> <input> or <textarea> element since the dir
> attribute change that this causes should generate
> the DOM2 DOMAttrModified event

It turns out that this is not exactly true. WebKit currently does not
support DOMAttrModified and it is unclear if they ever will. Firefox,
apparently, supports it, but only triggers it when an attribute is changed
by script, not by the browser UI (as would be the case for setting text
direction). And finally, DOM3 deprecates all the mutation events,
including DOMAttrModified. They are supposedly working on an alternative,
but we have no idea whether it will actually come to be or if it will apply
to our case. Thus, I am leaving the original suggestion to trigger the
oninput event when the user explicitly sets the direction.

Aharon