Comment 3 for bug 1793946

I think the difficulty could also be selected in on the campaign or campaign scenario selection screens rather than in-game.

I'll put up https://code.launchpad.net/~widelands-dev/widelands/campaignselect_box for code review first when we have build 20 ready so that we can continue work there.