Rewrote Welcome in Swing

[davidsun0]

Changed the Welcome from a child of WebFrame to a child of JFrame.

This change fixes GUI problems #3911, #3912, and potentially #4896. (If it does not fix 4896, it should make it very easy to - the only changes needed are swapping out the logo image and resizing the window)
Closing the window will change the preferences for showing the welcome screen each time.
All text is now tied to the buttons and check boxes, making it more user friendly.
The Welcome screen should also resize to display well on high resolution displays, but I don't have a computer to test it on.

I also extracted the text out of the GUI. I couldn't find where the translations of the old Welcome screen are, but this will also make it easier to translate the welcome screen. Only a dozen phrases are needed, and the file format will make it easy to replace the strings in the future.

Closes #3911
Closes #3912

[VictorGaiva]

It did not fix #3911. It is still pretty hard to fix this. What is the purpose of the welcome screen? Maybe an approach like the welcome screen from Visual Code might be a good idea. It would need a lot of changes but I am willing to try it.

[benfry]

Thanks for the attempt, though even after putting in some time with it (5b672a1 and ddb81c8), it's visually still too messy for us to use.

This is why we did the HTML version in the first place—getting UIs to look good in Swing is just really difficult.

But I've done some other fixes and think we're in good shape for the next release. Thanks for taking a look.

[github-actions]

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.