widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

The focus call only fixes a very specific case - e.g. this bug is still there: https://bugs.launchpad.net/widelands/+bug/1734206

I just decided that it's better than nothing.
-- 
https://code.launchpad.net/~widelands-dev/widelands/story_message_box/+merge/335003
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/story_message_box into lp:widelands.