/g, "");
- newString = newString.replace(/<\/code>/g, "
");
- return newString;
- }
document.getElementById("documentation-content")!.innerHTML =
- wrapCodeWithPre(converted_markdown);
+ converted_markdown;
}
changeToLocalBuffer(i: number) {