Size and font snippet
This snippet shows how to size the editor to a specified height/width and how to change its font size.
function hello() { console.log("Hello word"); } function done() { console.log("done"); }