| Index: client/html/generated/html/interface/NodeList.dart
|
| diff --git a/client/dom/templates/dom/interface/interface_WebSocket.darttemplate b/client/html/generated/html/interface/NodeList.dart
|
| similarity index 60%
|
| copy from client/dom/templates/dom/interface/interface_WebSocket.darttemplate
|
| copy to client/html/generated/html/interface/NodeList.dart
|
| index 29035627f8313e16f02f813e6839081982e3ab22..129839ff17f270e212e544aff2e01de52eca3474 100644
|
| --- a/client/dom/templates/dom/interface/interface_WebSocket.darttemplate
|
| +++ b/client/html/generated/html/interface/NodeList.dart
|
| @@ -4,7 +4,15 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface WebSocket$!EXTENDS default _WebSocketFactoryProvider {
|
| +interface NodeList extends List<Node> {
|
|
|
| - WebSocket(String url);
|
| -$!MEMBERS}
|
| + NodeList filter(bool f(Node element));
|
| +
|
| + NodeList getRange(int start, int length);
|
| +
|
| + Node get first();
|
| +
|
| +
|
| + final int length;
|
| +
|
| +}
|
|
|