| Index: client/html/release/html.dart
|
| diff --git a/client/html/release/html.dart b/client/html/release/html.dart
|
| index 01c2f792e944da9a237411582dfe2ee762773ce8..6dedb36a2d2ffd3929af6a041acc831a034e9fd7 100644
|
| --- a/client/html/release/html.dart
|
| +++ b/client/html/release/html.dart
|
| @@ -5130,26 +5130,6 @@ interface SVGDescElement extends SVGElement, SVGLangSpace, SVGStylable {
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface SVGElement extends Element {
|
| -
|
| - String get id();
|
| -
|
| - void set id(String value);
|
| -
|
| - SVGSVGElement get ownerSVGElement();
|
| -
|
| - SVGElement get viewportElement();
|
| -
|
| - String get xmlbase();
|
| -
|
| - void set xmlbase(String value);
|
| -}
|
| -// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -// WARNING: Do not edit - generated code.
|
| -
|
| interface SVGElementInstanceList {
|
|
|
| int get length();
|
| @@ -6882,96 +6862,6 @@ interface SVGRenderingIntent {
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface SVGSVGElement extends SVGElement, SVGTests, SVGLangSpace, SVGExternalResourcesRequired, SVGStylable, SVGLocatable, SVGFitToViewBox, SVGZoomAndPan {
|
| -
|
| - String get contentScriptType();
|
| -
|
| - void set contentScriptType(String value);
|
| -
|
| - String get contentStyleType();
|
| -
|
| - void set contentStyleType(String value);
|
| -
|
| - num get currentScale();
|
| -
|
| - void set currentScale(num value);
|
| -
|
| - SVGPoint get currentTranslate();
|
| -
|
| - SVGAnimatedLength get height();
|
| -
|
| - num get pixelUnitToMillimeterX();
|
| -
|
| - num get pixelUnitToMillimeterY();
|
| -
|
| - num get screenPixelToMillimeterX();
|
| -
|
| - num get screenPixelToMillimeterY();
|
| -
|
| - bool get useCurrentView();
|
| -
|
| - void set useCurrentView(bool value);
|
| -
|
| - SVGRect get viewport();
|
| -
|
| - SVGAnimatedLength get width();
|
| -
|
| - SVGAnimatedLength get x();
|
| -
|
| - SVGAnimatedLength get y();
|
| -
|
| - bool animationsPaused();
|
| -
|
| - bool checkEnclosure(SVGElement element, SVGRect rect);
|
| -
|
| - bool checkIntersection(SVGElement element, SVGRect rect);
|
| -
|
| - SVGAngle createSVGAngle();
|
| -
|
| - SVGLength createSVGLength();
|
| -
|
| - SVGMatrix createSVGMatrix();
|
| -
|
| - SVGNumber createSVGNumber();
|
| -
|
| - SVGPoint createSVGPoint();
|
| -
|
| - SVGRect createSVGRect();
|
| -
|
| - SVGTransform createSVGTransform();
|
| -
|
| - SVGTransform createSVGTransformFromMatrix(SVGMatrix matrix);
|
| -
|
| - void deselectAll();
|
| -
|
| - void forceRedraw();
|
| -
|
| - num getCurrentTime();
|
| -
|
| - Element getElementById(String elementId);
|
| -
|
| - ElementList getEnclosureList(SVGRect rect, SVGElement referenceElement);
|
| -
|
| - ElementList getIntersectionList(SVGRect rect, SVGElement referenceElement);
|
| -
|
| - void pauseAnimations();
|
| -
|
| - void setCurrentTime(num seconds);
|
| -
|
| - int suspendRedraw(int maxWaitMilliseconds);
|
| -
|
| - void unpauseAnimations();
|
| -
|
| - void unsuspendRedraw(int suspendHandleId);
|
| -
|
| - void unsuspendRedrawAll();
|
| -}
|
| -// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -// WARNING: Do not edit - generated code.
|
| -
|
| interface SVGScriptElement extends SVGElement, SVGURIReference, SVGExternalResourcesRequired {
|
|
|
| String get type();
|
| @@ -12858,6 +12748,26 @@ interface SVGDocument extends Document {
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE file.
|
|
|
| +interface SVGElement extends Element factory SVGElementWrappingImplementation {
|
| +
|
| + SVGElement.tag(String tag);
|
| +
|
| + String get id();
|
| +
|
| + void set id(String value);
|
| +
|
| + SVGSVGElement get ownerSVGElement();
|
| +
|
| + SVGElement get viewportElement();
|
| +
|
| + String get xmlbase();
|
| +
|
| + void set xmlbase(String value);
|
| +}
|
| +// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| +// for details. All rights reserved. Use of this source code is governed by a
|
| +// BSD-style license that can be found in the LICENSE file.
|
| +
|
| // WARNING: Do not edit - generated code.
|
|
|
| interface SVGElementInstance extends EventTarget {
|
| @@ -12882,6 +12792,97 @@ interface SVGElementInstance extends EventTarget {
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE file.
|
|
|
| +interface SVGSVGElement extends SVGElement, SVGTests, SVGLangSpace, SVGExternalResourcesRequired, SVGStylable, SVGLocatable, SVGFitToViewBox, SVGZoomAndPan
|
| + factory SVGSVGElementWrappingImplementation {
|
| +
|
| + SVGSVGElement();
|
| +
|
| + String get contentScriptType();
|
| +
|
| + void set contentScriptType(String value);
|
| +
|
| + String get contentStyleType();
|
| +
|
| + void set contentStyleType(String value);
|
| +
|
| + num get currentScale();
|
| +
|
| + void set currentScale(num value);
|
| +
|
| + SVGPoint get currentTranslate();
|
| +
|
| + SVGAnimatedLength get height();
|
| +
|
| + num get pixelUnitToMillimeterX();
|
| +
|
| + num get pixelUnitToMillimeterY();
|
| +
|
| + num get screenPixelToMillimeterX();
|
| +
|
| + num get screenPixelToMillimeterY();
|
| +
|
| + bool get useCurrentView();
|
| +
|
| + void set useCurrentView(bool value);
|
| +
|
| + SVGRect get viewport();
|
| +
|
| + SVGAnimatedLength get width();
|
| +
|
| + SVGAnimatedLength get x();
|
| +
|
| + SVGAnimatedLength get y();
|
| +
|
| + bool animationsPaused();
|
| +
|
| + bool checkEnclosure(SVGElement element, SVGRect rect);
|
| +
|
| + bool checkIntersection(SVGElement element, SVGRect rect);
|
| +
|
| + SVGAngle createSVGAngle();
|
| +
|
| + SVGLength createSVGLength();
|
| +
|
| + SVGMatrix createSVGMatrix();
|
| +
|
| + SVGNumber createSVGNumber();
|
| +
|
| + SVGPoint createSVGPoint();
|
| +
|
| + SVGRect createSVGRect();
|
| +
|
| + SVGTransform createSVGTransform();
|
| +
|
| + SVGTransform createSVGTransformFromMatrix(SVGMatrix matrix);
|
| +
|
| + void deselectAll();
|
| +
|
| + void forceRedraw();
|
| +
|
| + num getCurrentTime();
|
| +
|
| + Element getElementById(String elementId);
|
| +
|
| + ElementList getEnclosureList(SVGRect rect, SVGElement referenceElement);
|
| +
|
| + ElementList getIntersectionList(SVGRect rect, SVGElement referenceElement);
|
| +
|
| + void pauseAnimations();
|
| +
|
| + void setCurrentTime(num seconds);
|
| +
|
| + int suspendRedraw(int maxWaitMilliseconds);
|
| +
|
| + void unpauseAnimations();
|
| +
|
| + void unsuspendRedraw(int suspendHandleId);
|
| +
|
| + void unsuspendRedrawAll();
|
| +}
|
| +// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| +// for details. All rights reserved. Use of this source code is governed by a
|
| +// BSD-style license that can be found in the LICENSE file.
|
| +
|
| interface Text extends CharacterData factory TextWrappingImplementation {
|
|
|
| Text(String content);
|
|
|