Merge proposals dependent on lp:~widelands-dev/widelands/handle_tab

lp:~widelands-dev/widelands/handle_tab has no merge proposals.