Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add methods for observing dock visibility #14736
This adds an
Since this functionality covers the
One thing I'd like to discuss is the semantics of this. In the original docks PR, I had avoided calling this "visible" because it'll actually be false while the dock is visible but being animated closed. If you're using this API, for example, to show or hide contents of an item, you could wind up with surprising results.