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

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