Closed andreas-eberle closed 6 years ago
@andreas-eberle: does it make sense to push these changes to the pull request "push ships when building a new one" or would it be better to make a new pull request?
@andreas-eberle: I just saw you branch make-ships-leave-dock, so I'll make a new pull request.
@rpolzer: It's always better to make a new PR for stuff that does not really belong together.
solved with pull request Dock shadow #737
E.g. the shadow hides the dock.
and for some directions, the wrong shadows seem to be used. E.g.![grafik](https://user-images.githubusercontent.com/9267365/41872297-b9643ace-78c1-11e8-9c05-bb1284810870.png)
@rpolzer: Can you have a look?