Allow configuring number of lines in pyodide editors. #89

Zedoman wants to merge 4 commits intopawamoy:mainpawamoy/markdown-exec:mainfrom

Zedoman:mainZedoman/markdown-exec:mainCopy head branch name to clipboard