The terms "width" and "height" are clearer and they match what the values actually represent (window or parent width/height). The YAML changes are generated with the update rule.
Some existing widget are too small to accommodate their text. Adjust their sizes to fit. Text can be rendered outside the widget bounds so visually this often has no impact, but adjusting this now will help in the future for checking translation text for other languages fit in their widgets.
Opens options menu when game ends.
Closes settings or music window before opening options menu.
Moves game end video playback logic from GameInfoLogic to
LoadIngamePlayerOrObserverUILogic.
Improves menu buttons.
Stop video from playing on fatal lua script error
