(self, widget)
| 509 | ws_instance_to_update.send_message(msg) |
| 510 | |
| 511 | def set_root_widget(self, widget): |
| 512 | self.page.children['body'].append(widget, 'root') |
| 513 | self.root = widget |
| 514 | self.root.disable_refresh() |
| 515 | self.root.attributes['data-parent-widget'] = str(id(self)) |
| 516 | self.root._parent = self |
| 517 | self.root.enable_refresh() |
| 518 | |
| 519 | msg = "0" + self.root.identifier + ',' + to_websocket(self._overload(self.page.children['body'].innerHTML({}), filename="internal")) |
| 520 | self._send_spontaneous_websocket_message(msg) |
| 521 | |
| 522 | def _send_spontaneous_websocket_message(self, message): |
| 523 | for ws in list(self.websockets): |
no test coverage detected