Main menu style: Set to 'full' for Android, remove 'auto' option

[paramat]

Initial work for #2600
See comments of support #2600 (comment) and #2600 (comment)
I can also remove simple menu code if or when full menu is confirmed ok for all Android devices.

[stujones11]

While I agree that additional worlds and sub game selection should be possible on mobile devices, I think this is an over-simplistic solution. Since the gui scaling improvements, the full menu is indeed useable but game header is truncated and pushed behind the form.

Also note that the game selection bar is not part of the lua main menu so does not get compensated for scale. It does, however just fit on my screen which is pretty wide aspect 2:1

Correction: The game selection bar is in lua except it uses the box[] formspec element. I am not exactly sure how this one sits with the current formspec scaling method, it seems they can be outside of the parent form bounds. :?

I would personally favour keeping the simple menu for mobile, except include an additional tab for game and world selection. At the very least, I think we need to do something about the background image.

[rubenwardy]

I suggest removing the game selection bar on Android, and flipping the "start game" form to have the list and 3 buttons on the left, and checks on the right

[rubenwardy]

Unfortunately this would be harder than I expected, due to the fields added by host server

flipping the "start game" form to have the list and 3 buttons on the left, and checks on the right

I've done the first section though, in #7940. It also hides the header

[stujones11]

I've done the first section though, in #7940. It also hides the header

In that case I don't see a problem with this 👍

[paramat]

The simple menus for Android add a lot of code though, better to remove that and have PC and Android being as similar as possible.

[paramat]

WIP as this might as well include the removal of simple menu code also, otherwise i'll just have to work on this code again soon.
Waiting for confirmation that full is fine for all Android devices, which will be likely if #7940 is merged.

[paramat]

Actually not WIP. I can remove simple menu code in a separate PR (probably best).