Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Change: Forbid dock placement on docking area #6927
On reflection it's not essential to provide these kind of checks. The benefit is too little for the complexity introduced, and the possibility of unintended side effects. This PR is not likely to be accepted, so I'm closing it to keep things tidy. Thanks for contributing!