Is your feature request related to a problem? Please describe.

If I want to add an editor with just three lines, I'd like to spare some vertical space. Currently it always has the same number of lines.

Describe the solution you'd like

Allow configuring number of lines in pyodide editors.

Describe alternatives you've considered

/

Additional context

/