nntrn
2/26/2019 - 6:25 PM

[JS: working with XML]

[JS: working with XML]

// Serializing HTML documents
var docHTML = document.documentElement.innerHTML;

// get string of 
dict = a.map(d=>{if(d.nodeName=="dict")return d}).filter(Boolean)
str = dict.map(e=>{return e.textContent.split("\n").join("\n")}).join()
copy(str)