tree e394da841b8defe0766a9e90ffa4c93026d09709
parent 3316de57acaa7e3dce6c5bcf36f1d80713163176
author jlabanca@google.com <jlabanca@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1304343906 +0000
committer jlabanca@google.com <jlabanca@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1304343906 +0000

Adding the SourceElement for use with Audio and Video, and adding convenience methods in those widgets to use the element.  Multiple SourceElements can be specified for an AudioElement/VideoElement widget, and the browser will choose and download one of the sources that it can play.  This is convenient and easier than doing a runtime check in user code to figure out the best source file.

Review at http://gwt-code-reviews.appspot.com/1423810

Review by: pdr@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@10117 8db76d5a-ed1c-0410-87a9-c151d255dfc7