updateSourceFromDOMTreeMap method

void updateSourceFromDOMTreeMap()

Implementation

void updateSourceFromDOMTreeMap() {
  var root = renderedTreeMap?.rootDOMNode;
  if (root != null) {
    var html = root.buildHTML(withIndent: true);
    renderSource!.source = html;
  }
}