Updates web-ui to match SDK 0.6.13

Updates web-ui to match SDK 0.6.13

Committed: https://github.com/dart-lang/web-ui/commit/5ebff91

[Siggi Cherem (dart-lang), 2013-08-01 17:26:52]

tbr

[Siggi Cherem (dart-lang), 2013-08-01 17:27:08]

Committed patchset #1 manually as r5ebff91 (presubmit successful).

[Jennifer Messerly, 2013-08-01 18:02:29]

Crazy idea here (actually, 2 crazy ideas):
  * Could we switch this proxy to use noSuchMethod, so it always works? The code
size impact isn't huge, and I'm less worried about ~10% code size for web_ui
since it's our legacy package. That would give us more stability.
  * Alternative, maybe we could do something like this:

import 'package:custom_element/custom_element.dart';

class WebComponent extends CustomElement {
  ... add the web_ui stuff like composeChildren here ...
}

WDYT?

[Jennifer Messerly, 2013-08-01 18:02:47]

also, this LGTM :)

[Siggi Cherem (dart-lang), 2013-08-01 18:40:05]

On 2013/08/01 18:02:29, John Messerly wrote:
> Crazy idea here (actually, 2 crazy ideas):
>   * Could we switch this proxy to use noSuchMethod, so it always works? The
code
> size impact isn't huge, and I'm less worried about ~10% code size for web_ui
> since it's our legacy package. That would give us more stability.
>   * Alternative, maybe we could do something like this:
> 
> import 'package:custom_element/custom_element.dart';
> 
> class WebComponent extends CustomElement {
>   ... add the web_ui stuff like composeChildren here ...
> }
> 
> WDYT?

yeah - I was thinking about #2 too, but I like #1, we should try it =)