-
Committer:
Wideland's Bunnybot
-
Date:
2019-06-23 12:45:29 UTC
-
mfrom:
(9129.4.17 workarea-fixes)
-
Revision ID:
bunnybot@widelands.org-20190623124529-jgtz8gp7e2g04lhn
Merged lp:~widelands-dev/widelands/workarea-fixes:
- Highlight the buildings the overlapping workareas belong to
- Fix behaviour of the W hotkey
- Show productionsite overlaps only for certain building types
of interest