Cannot resize horizontally separated panels

[barnettwilliam]

When trying to resize horizontally separated panels positioned one above the other, the editor text is cutoff to single line. The editor text can be scrolled with the mouse so the line that is shown changes.

The panel separator should be re-sizeable and the editor text should fill the remaining space.

Before resize:

After resize:

[barnettwilliam]

Only in the two panel case.

[szschaler]

It looks like this is potentially bigger. For example, the UI does also not seem to work well on a smaller device (e.g., an iPad). There may be benefit from redesigning the frontend completely to use a better web framework that more easily adapts across platforms. That's a bigger piece of work and would make for a nice student project.

[szschaler]

In fact, there are multiple student projects here exploring integration with different front-end mechanisms such as web, VS Code, GitHub CodeSpaces etc.