~widelands-dev/widelands/trunk

Viewing all changes in revision 8595.

Merged lp:~widelands-dev/widelands/bug-1750343-priorities-barracks:
Fixing bug 1750343: When doing a Ctrl+Click on a priority button and the building also has a worker queue, the game crashes. Problem was a missing check whether the priority button of the queue exists before modifying it.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: