The F1 Help modal is too greedy

[xsebek]

The F1 Help modal loads slowly and then has seemingly infinite empty space under the two tables:

^{I took the picture on the web branch, but it is the same on main.}

Scrolling is terribly slow too. What is going on?!

---

After looking at the code, the culprit is the new maybeScroll function (da4db6e) which lets Help greedily take too much space.

[xsebek]

OK, so what is going on is that the custom scrolling logic does not work for the help modal.

It seems to greedily take all the provided 1'000'000 lines of vertical space. 10'000 loads much faster.

The solution would be to either use the maybeScroll function for all modals except Help or make Help not so greedy.

[byorgey]

Yes, I think that's right. We should make Help not so greedy. In fact we need to overhaul Help anyway. The second table of commands needs to be removed, it is very incomplete and we now have the Commands modal anyway. The first table perhaps needs some extra stuff added to it, and it probably doesn't need to be a table. And maybe we can add some friendly text with other helpful suggestions, like where to go if you have questions (the wiki, the IRC channel, etc.), where to find example code, etc.

[xsebek]

We will definitely need to overhaul it when we implement custom keybinding (#523). 😄

I was thinking about putting the seed number there (#359) and the used port number (#493).