On Tue, Dec 5, 2017 at 5:42 PM, Henri Verbeet hverbeet@gmail.com wrote:
Ultimately it's perhaps not that big of a deal, but the name "user_clip_planes" seems to suggest it contains a copy of the UCPs, while it really only contains the ones you can't use.
Yes, it makes sense to store all clip planes. I'll fix this. Thanks.