| Index: client/html/src/DocumentFragmentWrappingImplementation.dart
|
| diff --git a/client/html/src/DocumentFragmentWrappingImplementation.dart b/client/html/src/DocumentFragmentWrappingImplementation.dart
|
| index 8dcaac28a13ad0b215ed69e5fe28b6565deaf5bf..cea025fe819405bd6af155e81e841b5807c6f05d 100644
|
| --- a/client/html/src/DocumentFragmentWrappingImplementation.dart
|
| +++ b/client/html/src/DocumentFragmentWrappingImplementation.dart
|
| @@ -368,4 +368,6 @@ class DocumentFragmentWrappingImplementation extends NodeWrappingImplementation
|
| throw new UnsupportedOperationException(
|
| "WebKit drop zone can't be set for document fragments.");
|
| }
|
| +
|
| + DocumentFragment clone(bool deep) => super.clone(deep);
|
| }
|
|
|