A in-game resolution item disappears

[Jukka Pakarinen]

When Widelands is started from command line with xres and yres arguments, the resolution comes available to the In-resolution dropdown menu under Options. The resolution disappears from the menu if Apply button is pressed while some other resolution is selected. To reproduce this:

Start Widelends ./widelands --xres=800 --yres=800
Click Options
Select some other item than the current 800x800 value
Press Apply
Try to switch back to the 800x800
The item is missing.

The problem found from trunk (revno 8486) on Debian 9.1.

It would be usefull to be able to switch between native and non native resolution while testing features of the game.

[GunChleoc (gunchleoc)]

Migrated to https://github.com/widelands/widelands/issues/2090