| Index: client/dom/generated/src/interface/DOMSelection.dart
|
| diff --git a/client/dom/generated/src/interface/DOMSelection.dart b/client/dom/generated/src/interface/DOMSelection.dart
|
| index f47ba181cf435771dd61de3cf6f220db0fdd55e7..c9667066c7859373a99a3e87ff25c9167fdd2552 100644
|
| --- a/client/dom/generated/src/interface/DOMSelection.dart
|
| +++ b/client/dom/generated/src/interface/DOMSelection.dart
|
| @@ -55,6 +55,8 @@ interface Selection {
|
| void setBaseAndExtent(Node baseNode, int baseOffset, Node extentNode, int extentOffset);
|
|
|
| void setPosition(Node node, int offset);
|
| +
|
| + String toString();
|
| }
|
|
|
| interface DOMSelection extends Selection {
|
|
|