Merge proposals dependent on lp:~widelands-dev/widelands/bug-1800182-focus-save-menu

lp:~widelands-dev/widelands/bug-1800182-focus-save-menu has no merge proposals.