onDOMTreeChanged method

void onDOMTreeChanged()

Implementation

void onDOMTreeChanged() {
  devTool!.isolateServerPort?.send(DOMUpdatedEvent());
}