| Index: client/html/generated/src/interface/DOMSelection.dart
|
| diff --git a/client/html/generated/src/interface/DOMSelection.dart b/client/html/generated/src/interface/DOMSelection.dart
|
| index 6d2716abbfbe258652806162a2accd6eb1671e61..84a4a96a2e3af3ccc049b8d7adc3a98372bfffc7 100644
|
| --- a/client/html/generated/src/interface/DOMSelection.dart
|
| +++ b/client/html/generated/src/interface/DOMSelection.dart
|
| @@ -55,4 +55,6 @@ interface DOMSelection {
|
| void setBaseAndExtent(Node baseNode, int baseOffset, Node extentNode, int extentOffset);
|
|
|
| void setPosition(Node node, int offset);
|
| +
|
| + String toString();
|
| }
|
|
|