- From: <bugzilla@jessica.w3.org>
- Date: Wed, 13 Oct 2010 10:36:54 +0000
- To: public-html-a11y@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10419 --- Comment #8 from Ian 'Hixie' Hickson <ian@hixie.ch> 2010-10-13 10:36:54 UTC --- How about we add an audio="" attribute that controls the audio channel of the <video>? It would take a space-separated list of tokens, with the following meanings: * "off": disable the audio channel entirely, as if the video data had no audio track. * "muted": if present when the media resource is loaded, set .muted to true, overriding user preferences. * a floating point number from 0.0 to 1.0: if present when the media resource is loaded, set .volume to the given value, overriding user preferences. (Only one such value allowed; ignore all but the first.) In the future we could add new values, too, like maybe "do-not-pitch-correct" which would disable the pitch correction when changing playbackRate. Also, maybe we don't need all the values above in the first version -- in particular, we might not need the volume control or "off" initially. This gets around the various reflection problems, still allows all the various user preference models and "mute" UIs that people have proposed, and isn't a pain to type ("audio=muted" is pretty self-explanatory and doesn't feel verbose). -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
Received on Wednesday, 13 October 2010 10:36:56 UTC