Method
UpdatePanelsMenu
////////////////////////////////////////////////////////////////////////// Convenience function for adding check marks next to menu items of panels that are currently shown.
Source from the content-addressed store, hash-verified
source not stored for this graph (policy: none)
Callers
nothing calls this directly
Tested by
no test coverage detected