P: Make zoom slider available while masking in LrC

What: In the Develop module, make the zoom slider available while masking. It's often desirable to be able to vary the amount of detail visible while masking. At present , howeever, it's only possible to toggle between two zoom settings while a mask is open. Since the zoom slider is not displayed, these two settings cannot be adjusted without closing out of masking. This can make for an unnecessarily awkward work flow.

Benefit: Making the zoom slider available while masking would facilitate a smoother work flow by allowing users to adjust detail levels "on the fly" according to need. Given how central masking is, making it a more seamless process will likely enhance the overall user experience.

(If there is already a way to display the zoom slider while masking, I don't know it and couldn't find it, so  would appreciate someone enlightening me.)